47 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_group()
72 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_group()
99 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_enable()
120 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_senable()
169 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cenable()
191 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_senable()
212 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_cenable()
233 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __read_pending()
308 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_spending()
350 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_spending()
401 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cpending()
444 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_cpending()
506 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_read_active()
530 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_active()
612 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_cactive()
626 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cactive()
649 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_sactive()
663 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_sactive()
685 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_read_priority()
711 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_write_priority()
732 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_read_config()
752 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_write_config()
958 		return VGIC_ADDR_TO_INTID(addr, region->bits_per_irq) < nr_irqs;  in check_region()