Searched defs:level_pending (Results 1 – 1 of 1) sorted by relevance
1364 int level_pending = 0; in vgic_process_maintenance() local1420 bool level_pending; in vgic_sync_hwirq() local1441 bool level_pending; in __kvm_vgic_sync_hwstate() local