Searched refs:gicd_set_icpendr (Results 1 – 6 of 6) sorted by relevance
82 void gicd_set_icpendr(uintptr_t base, unsigned int id);
293 void gicd_set_icpendr(uintptr_t base, unsigned int id) in gicd_set_icpendr() function
84 void gicd_set_icpendr(uintptr_t base, unsigned int id) in gicd_set_icpendr() function
1240 gicd_set_icpendr(gicd_base, id); in gicv3_clear_interrupt_pending()
291 void gicd_set_icpendr(uintptr_t base, unsigned int id) in gicd_set_icpendr() function
502 gicd_set_icpendr(driver_data->gicd_base, id); in gicv2_clear_interrupt_pending()
