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()
232 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_pending()
274 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_spending()
316 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_spending()
367 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cpending()
410 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_cpending()
469 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_read_active()
493 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_active()
575 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_cactive()
589 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cactive()
612 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_sactive()
626 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_sactive()
648 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_read_priority()
674 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_write_priority()
695 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_read_config()
715 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_write_config()
921 		return VGIC_ADDR_TO_INTID(addr, region->bits_per_irq) < nr_irqs;  in check_region()