Searched refs:level_pending (Results 1 – 1 of 1) sorted by relevance
1364 int level_pending = 0; in vgic_process_maintenance() local1393 level_pending |= process_queued_irq(vcpu, lr, vlr); in vgic_process_maintenance()1409 return level_pending; in vgic_process_maintenance()1420 bool level_pending; in vgic_sync_hwirq() local1429 level_pending = process_queued_irq(vcpu, lr, vlr); in vgic_sync_hwirq()1431 return level_pending; in vgic_sync_hwirq()1441 bool level_pending; in __kvm_vgic_sync_hwstate() local1443 level_pending = vgic_process_maintenance(vcpu); in __kvm_vgic_sync_hwstate()1449 level_pending |= vgic_sync_hwirq(vcpu, lr, vlr); in __kvm_vgic_sync_hwstate()1457 if (level_pending || pending < vgic->nr_lr) in __kvm_vgic_sync_hwstate()