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