Searched refs:gicr_get_igroupr0 (Results 1 – 3 of 3) sorted by relevance
69 unsigned int gicr_get_igroupr0(uintptr_t base, unsigned int id);
96 unsigned int gicr_get_igroupr0(uintptr_t base, unsigned int id) in gicr_get_igroupr0() function
450 igroup = gicr_get_igroupr0(gicr_base, id); in gicv3_get_interrupt_type()