Searched refs:host_pkru (Results 1 – 3 of 3) sorted by relevance
727 u32 host_pkru; member
1040 if (vcpu->arch.host_pkru != 0) in tdx_load_host_xsave_state()1041 wrpkru(vcpu->arch.host_pkru); in tdx_load_host_xsave_state()
667 vcpu->arch.pkru != vcpu->arch.host_pkru && in kvm_load_guest_pkru()682 if (vcpu->arch.pkru != vcpu->arch.host_pkru) in kvm_load_host_pkru()683 wrpkru(vcpu->arch.host_pkru); in kvm_load_host_pkru()2570 vcpu->arch.host_pkru = read_pkru(); in kvm_arch_vcpu_load()