47 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_group()  local
72 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_group()  local
99 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_enable()  local
120 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_senable()  local
169 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cenable()  local
191 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_senable()  local
212 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_cenable()  local
233 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __read_pending()  local
308 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_spending()  local
350 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_spending()  local
401 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cpending()  local
444 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_cpending()  local
486 static void vgic_access_active_prepare(struct kvm_vcpu *vcpu, u32 intid)  in vgic_access_active_prepare()
495 static void vgic_access_active_finish(struct kvm_vcpu *vcpu, u32 intid)  in vgic_access_active_finish()
506 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_read_active()  local
530 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_active()  local
612 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_cactive()  local
626 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cactive()  local
649 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_sactive()  local
663 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_sactive()  local
685 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_read_priority()  local
711 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_write_priority()  local
732 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_read_config()  local
752 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_write_config()  local
781 u32 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid)  in vgic_read_irq_line_level_info()
803 void vgic_write_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid,  in vgic_write_irq_line_level_info()