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
1235 gicd_set_icpendr(gicv3_driver_data->gicd_base, id); in gicv3_clear_interrupt_pending()
291 void gicd_set_icpendr(uintptr_t base, unsigned int id) in gicd_set_icpendr() function
501 gicd_set_icpendr(driver_data->gicd_base, id); in gicv2_clear_interrupt_pending()