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