Searched refs:gicr_set_igroupr0 (Results 1 – 3 of 3) sorted by relevance
87 void gicr_set_igroupr0(uintptr_t base, unsigned int id);
114 void gicr_set_igroupr0(uintptr_t base, unsigned int id) in gicr_set_igroupr0() function
925 gicr_set_igroupr0(gicr_base, id); in gicv3_set_interrupt_type()