Searched refs:process_queued_irq (Results 1 – 1 of 1) sorted by relevance
1311 static int process_queued_irq(struct kvm_vcpu *vcpu, in process_queued_irq() function1393 level_pending |= process_queued_irq(vcpu, lr, vlr); in vgic_process_maintenance()1429 level_pending = process_queued_irq(vcpu, lr, vlr); in vgic_sync_hwirq()