Searched refs:vgic_update_irq_pending (Results 1 – 1 of 1) sorted by relevance
1451 static int vgic_update_irq_pending(struct kvm *kvm, int cpuid, in vgic_update_irq_pending() function1567 vcpu_id = vgic_update_irq_pending(kvm, cpuid, irq_num, level); in kvm_vgic_inject_irq()