Searched refs:__vcpu_put_switch_sysregs (Results 1 – 3 of 3) sorted by relevance
100 void __vcpu_put_switch_sysregs(struct kvm_vcpu *vcpu);
274 void __vcpu_put_switch_sysregs(struct kvm_vcpu *vcpu) in __vcpu_put_switch_sysregs() function
228 __vcpu_put_switch_sysregs(vcpu); in kvm_vcpu_put_vhe()