Searched refs:vgic_enable_underflow (Results 1 – 1 of 1) sorted by relevance
1048 static inline void vgic_enable_underflow(struct kvm_vcpu *vcpu) in vgic_enable_underflow() function1291 vgic_enable_underflow(vcpu); in __kvm_vgic_flush_hwstate()