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
289 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_spending()  local
331 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_spending()  local
382 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cpending()  local
425 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_uaccess_write_cpending()  local
466 static void vgic_access_active_prepare(struct kvm_vcpu *vcpu, u32 intid)  in vgic_access_active_prepare()
474 static void vgic_access_active_finish(struct kvm_vcpu *vcpu, u32 intid)  in vgic_access_active_finish()
484 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_read_active()  local
508 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_active()  local
590 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_cactive()  local
604 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cactive()  local
627 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_sactive()  local
641 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_sactive()  local
663 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_read_priority()  local
689 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_write_priority()  local
710 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_read_config()  local
730 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_write_config()  local
759 u64 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid)  in vgic_read_irq_line_level_info()
781 void vgic_write_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid,  in vgic_write_irq_line_level_info()