Searched refs:gicr_write_ispendr0 (Results 1 – 3 of 3) sorted by relevance
254 static inline void gicr_write_ispendr0(uintptr_t base, unsigned int val) in gicr_write_ispendr0() function
217 gicr_write_ispendr0(base, (1 << bit_num)); in gicr_set_ispendr0()
658 gicr_write_ispendr0(gicr_base, rdist_ctx->gicr_ispendr0); in gicv3_rdistif_init_restore()