Lines Matching refs:irq_num
1452 unsigned int irq_num, bool level) in vgic_update_irq_pending() argument
1463 edge_triggered = vgic_irq_is_edge(vcpu, irq_num); in vgic_update_irq_pending()
1466 if (!vgic_validate_injection(vcpu, irq_num, level)) { in vgic_update_irq_pending()
1471 if (irq_num >= VGIC_NR_PRIVATE_IRQS) { in vgic_update_irq_pending()
1472 cpuid = dist->irq_spi_cpu[irq_num - VGIC_NR_PRIVATE_IRQS]; in vgic_update_irq_pending()
1481 kvm_debug("Inject IRQ%d level %d CPU%d\n", irq_num, level, cpuid); in vgic_update_irq_pending()
1485 vgic_dist_irq_set_level(vcpu, irq_num); in vgic_update_irq_pending()
1486 vgic_dist_irq_set_pending(vcpu, irq_num); in vgic_update_irq_pending()
1489 vgic_dist_irq_clear_level(vcpu, irq_num); in vgic_update_irq_pending()
1490 if (!vgic_dist_irq_soft_pend(vcpu, irq_num)) in vgic_update_irq_pending()
1491 vgic_dist_irq_clear_pending(vcpu, irq_num); in vgic_update_irq_pending()
1498 enabled = vgic_irq_is_enabled(vcpu, irq_num); in vgic_update_irq_pending()
1505 if (!vgic_can_sample_irq(vcpu, irq_num)) { in vgic_update_irq_pending()
1515 vgic_cpu_irq_set(vcpu, irq_num); in vgic_update_irq_pending()
1539 int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int irq_num, in kvm_vgic_inject_irq() argument
1564 if (irq_num >= min(kvm->arch.vgic.nr_irqs, 1020)) in kvm_vgic_inject_irq()
1567 vcpu_id = vgic_update_irq_pending(kvm, cpuid, irq_num, level); in kvm_vgic_inject_irq()