113 						int virt_irq);
1113 		if (vlr.irq == map->virt_irq && vlr.state & LR_STATE_ACTIVE)  in kvm_vgic_map_is_active()
1117 	return vgic_irq_is_active(vcpu, map->virt_irq);  in kvm_vgic_map_is_active()
1690 	return vgic_update_irq_pending(kvm, cpuid, map, map->virt_irq, level);  in kvm_vgic_inject_mapped_irq()
1705 						    int virt_irq)  in vgic_get_irq_phys_map_list()  argument
1707 	if (virt_irq < VGIC_NR_PRIVATE_IRQS)  in vgic_get_irq_phys_map_list()
1727 					   int virt_irq, int irq)  in kvm_vgic_map_phys_irq()  argument
1730 	struct list_head *root = vgic_get_irq_phys_map_list(vcpu, virt_irq);  in kvm_vgic_map_phys_irq()
1757 	map = vgic_irq_map_search(vcpu, virt_irq);  in kvm_vgic_map_phys_irq()
1769 	map->virt_irq = virt_irq;  in kvm_vgic_map_phys_irq()
1785 						int virt_irq)  in vgic_irq_map_search()  argument
1787 	struct list_head *root = vgic_get_irq_phys_map_list(vcpu, virt_irq);  in vgic_irq_map_search()
1795 		if (map->virt_irq == virt_irq) {  in vgic_irq_map_search()
1830 	root = vgic_get_irq_phys_map_list(vcpu, map->virt_irq);  in kvm_vgic_unmap_phys_irq()