Searched refs:__vcpu_put_switch_sysregs (Results 1 – 2 of 2) sorted by relevance
99 void __vcpu_put_switch_sysregs(struct kvm_vcpu *vcpu);
218 __vcpu_put_switch_sysregs(vcpu); in kvm_vcpu_put_vhe()