Searched refs:gicv2_get_interrupt_group (Results 1 – 4 of 4) sorted by relevance
31 group = gicv2_get_interrupt_group(id); in plat_ic_get_interrupt_type()
180 unsigned int gicv2_get_interrupt_group(unsigned int id);
101 type = gicv2_get_interrupt_group(id); in plat_ic_get_interrupt_type()
273 unsigned int gicv2_get_interrupt_group(unsigned int id) in gicv2_get_interrupt_group() function