53 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_group()  local
73 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_group()  local
95 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_enable()  local
116 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_senable()  local
135 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cenable()  local
154 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_pending()  local
217 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_spending()  local
270 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cpending()  local
298 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_read_active()  local
381 static void vgic_change_active_prepare(struct kvm_vcpu *vcpu, u32 intid)  in vgic_change_active_prepare()
389 static void vgic_change_active_finish(struct kvm_vcpu *vcpu, u32 intid)  in vgic_change_active_finish()
400 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_cactive()  local
414 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_cactive()  local
437 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in __vgic_mmio_write_sactive()  local
451 	u32 intid = VGIC_ADDR_TO_INTID(addr, 1);  in vgic_mmio_write_sactive()  local
473 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_read_priority()  local
499 	u32 intid = VGIC_ADDR_TO_INTID(addr, 8);  in vgic_mmio_write_priority()  local
518 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_read_config()  local
538 	u32 intid = VGIC_ADDR_TO_INTID(addr, 2);  in vgic_mmio_write_config()  local
567 u64 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid)  in vgic_read_irq_line_level_info()
589 void vgic_write_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid,  in vgic_write_irq_line_level_info()