Searched refs:gicd_set_igroupr (Results 1 – 6 of 6) sorted by relevance
77 void gicd_set_igroupr(uintptr_t base, unsigned int id);
256 void gicd_set_igroupr(uintptr_t base, unsigned int id) in gicd_set_igroupr() function
42 void gicd_set_igroupr(uintptr_t base, unsigned int id) in gicd_set_igroupr() function
1128 igroup ? gicd_set_igroupr(gicd_base, id) : in gicv3_set_interrupt_group()
255 void gicd_set_igroupr(uintptr_t base, unsigned int id) in gicd_set_igroupr() function
403 gicd_set_igroupr(driver_data->gicd_base, id); in gicv2_set_interrupt_group()