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
307 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __set_pending()  local
393 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __clear_pending()  local
471 static void vgic_access_active_prepare(struct kvm_vcpu *vcpu, u32 intid)  in vgic_access_active_prepare()
480 static void vgic_access_active_finish(struct kvm_vcpu *vcpu, u32 intid)  in vgic_access_active_finish()
491 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_read_active()  local
515 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_active()  local
597 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_cactive()  local
611 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cactive()  local
634 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_sactive()  local
648 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_sactive()  local
670 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_read_priority()  local
696 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_write_priority()  local
717 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_read_config()  local
737 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_write_config()  local
766 u32 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid)  in vgic_read_irq_line_level_info()
788 void vgic_write_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid,  in vgic_write_irq_line_level_info()