Searched refs:vgic_disable_underflow (Results 1 – 1 of 1) sorted by relevance
1060 static inline void vgic_disable_underflow(struct kvm_vcpu *vcpu) in vgic_disable_underflow() function1300 vgic_disable_underflow(vcpu); in __kvm_vgic_flush_hwstate()1399 vgic_disable_underflow(vcpu); in vgic_process_maintenance()