Searched refs:gicd_get_igrpmodr (Results 1 – 3 of 3) sorted by relevance
56 unsigned int gicd_get_igrpmodr(uintptr_t base, unsigned int id) in gicd_get_igrpmodr() function
215 unsigned int gicd_get_igrpmodr(uintptr_t base, unsigned int id);
446 grpmodr = gicd_get_igrpmodr(gicv3_driver_data->gicd_base, id); in gicv3_get_interrupt_type()