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