Searched refs:gicr_get_igrpmodr0 (Results 1 – 3 of 3) sorted by relevance
78 unsigned int gicr_get_igrpmodr0(uintptr_t base, unsigned int id);
138 unsigned int gicr_get_igrpmodr0(uintptr_t base, unsigned int id) in gicr_get_igrpmodr0() function
397 grpmodr = gicr_get_igrpmodr0(gicr_base, id); in gicv3_get_interrupt_type()