1526 				   unsigned int irq_num, bool level)  in vgic_update_irq_pending()  argument
1534 	trace_vgic_update_irq_pending(cpuid, irq_num, level);  in vgic_update_irq_pending()
1536 	if (irq_num >= min(kvm->arch.vgic.nr_irqs, 1020))  in vgic_update_irq_pending()
1542 	edge_triggered = vgic_irq_is_edge(vcpu, irq_num);  in vgic_update_irq_pending()
1545 	if (!vgic_validate_injection(vcpu, irq_num, level)) {  in vgic_update_irq_pending()
1550 	if (irq_num >= VGIC_NR_PRIVATE_IRQS) {  in vgic_update_irq_pending()
1551 		cpuid = dist->irq_spi_cpu[irq_num - VGIC_NR_PRIVATE_IRQS];  in vgic_update_irq_pending()
1560 	kvm_debug("Inject IRQ%d level %d CPU%d\n", irq_num, level, cpuid);  in vgic_update_irq_pending()
1564 			vgic_dist_irq_set_level(vcpu, irq_num);  in vgic_update_irq_pending()
1565 		vgic_dist_irq_set_pending(vcpu, irq_num);  in vgic_update_irq_pending()
1568 			vgic_dist_irq_clear_level(vcpu, irq_num);  in vgic_update_irq_pending()
1569 			if (!vgic_dist_irq_soft_pend(vcpu, irq_num)) {  in vgic_update_irq_pending()
1570 				vgic_dist_irq_clear_pending(vcpu, irq_num);  in vgic_update_irq_pending()
1571 				vgic_cpu_irq_clear(vcpu, irq_num);  in vgic_update_irq_pending()
1581 	enabled = vgic_irq_is_enabled(vcpu, irq_num);  in vgic_update_irq_pending()
1588 	if (!vgic_can_sample_irq(vcpu, irq_num)) {  in vgic_update_irq_pending()
1598 		vgic_cpu_irq_set(vcpu, irq_num);  in vgic_update_irq_pending()
1650 int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int irq_num,  in kvm_vgic_inject_irq()  argument
1660 	map = vgic_irq_map_search(kvm_get_vcpu(kvm, cpuid), irq_num);  in kvm_vgic_inject_irq()
1664 	return vgic_update_irq_pending(kvm, cpuid, NULL, irq_num, level);  in kvm_vgic_inject_irq()