Searched refs:gicd_set_igroupr (Results 1 – 6 of 6) sorted by relevance
70 void gicd_set_igroupr(uintptr_t base, unsigned int id);
232 void gicd_set_igroupr(uintptr_t base, unsigned int id) in gicd_set_igroupr() function
135 void gicd_set_igroupr(uintptr_t, unsigned int);
176 void gicd_set_igroupr(uintptr_t base, unsigned int id) in gicd_set_igroupr() function
390 gicd_set_igroupr(driver_data->gicd_base, id); in gicv2_set_interrupt_type()
986 gicd_set_igroupr(gicv3_driver_data->gicd_base, id); in gicv3_set_interrupt_type()