Searched refs:gicr_write_icpendr0 (Results 1 – 2 of 2) sorted by relevance
236 static inline void gicr_write_icpendr0(uintptr_t base, unsigned int val) in gicr_write_icpendr0() function
212 gicr_write_icpendr0(base, (1U << bit_num)); in gicr_set_icpendr0()