Searched refs:gicr_set_ispendr (Results 1 – 3 of 3) sorted by relevance
121 void gicr_set_ispendr(uintptr_t base, unsigned int id) in gicr_set_ispendr() function
225 void gicr_set_ispendr(uintptr_t base, unsigned int id);
1295 gicr_set_ispendr( in gicv3_set_interrupt_pending()