Searched refs:host_pkru (Results 1 – 3 of 3) sorted by relevance
1008 if (vcpu->arch.host_pkru != 0) in tdx_load_host_xsave_state()1009 wrpkru(vcpu->arch.host_pkru); in tdx_load_host_xsave_state()
796 u32 host_pkru; member
1200 vcpu->arch.pkru != vcpu->arch.host_pkru && in kvm_load_guest_xsave_state()1216 if (vcpu->arch.pkru != vcpu->arch.host_pkru) in kvm_load_host_xsave_state()1217 wrpkru(vcpu->arch.host_pkru); in kvm_load_host_xsave_state()5039 vcpu->arch.host_pkru = read_pkru(); in kvm_arch_vcpu_load()
Completed in 42 milliseconds