Searched refs:vgic_set_underflow (Results 1 – 1 of 1) sorted by relevance
747 static inline void vgic_set_underflow(struct kvm_vcpu *vcpu) in vgic_set_underflow() function826 vgic_set_underflow(vcpu); in vgic_flush_lr_state()