Searched refs:vgic_v3_put_nested (Results 1 – 3 of 3) sorted by relevance
363 void vgic_v3_put_nested(struct kvm_vcpu *vcpu) in vgic_v3_put_nested() function
452 void vgic_v3_put_nested(struct kvm_vcpu *vcpu);
999 vgic_v3_put_nested(vcpu); in vgic_v3_put()