Searched refs:gicr_read_isactiver0 (Results 1 – 3 of 3) sorted by relevance
284 static inline unsigned int gicr_read_isactiver0(uintptr_t base) in gicr_read_isactiver0() function
193 unsigned int reg_val = gicr_read_isactiver0(base); in gicr_get_isactiver0()
572 rdist_ctx->gicr_isactiver0 = gicr_read_isactiver0(gicr_base); in gicv3_rdistif_save()