Searched refs:gicr_set_icpendr (Results 1 – 3 of 3) sorted by relevance
112 void gicr_set_icpendr(uintptr_t base, unsigned int id) in gicr_set_icpendr() function
224 void gicr_set_icpendr(uintptr_t base, unsigned int id);
1231 gicr_set_icpendr( in gicv3_clear_interrupt_pending()