Searched refs:gicd_set_ispendr (Results 1 – 6 of 6) sorted by relevance
81 void gicd_set_ispendr(uintptr_t base, unsigned int id);
286 void gicd_set_ispendr(uintptr_t base, unsigned int id) in gicd_set_ispendr() function
116 void gicd_set_ispendr(uintptr_t base, unsigned int id) in gicd_set_ispendr() function
1266 gicd_set_ispendr(gicv3_driver_data->gicd_base, id); in gicv3_set_interrupt_pending()
284 void gicd_set_ispendr(uintptr_t base, unsigned int id) in gicd_set_ispendr() function
521 gicd_set_ispendr(driver_data->gicd_base, id); in gicv2_set_interrupt_pending()