Searched refs:gicr_write_isactiver0 (Results 1 – 2 of 2) sorted by relevance
289 static inline void gicr_write_isactiver0(uintptr_t base, unsigned int val) in gicr_write_isactiver0() function
659 gicr_write_isactiver0(gicr_base, rdist_ctx->gicr_isactiver0); in gicv3_rdistif_init_restore()