Searched refs:vc_pkru (Results 1 – 2 of 2) sorted by relevance
848 uint32_t vc_pkru; /* [v] */ member
3829 wrpkru(0, vcpu->vc_pkru); in vcpu_run_vmx()3838 vcpu->vc_pkru = rdpkru(0); in vcpu_run_vmx()6231 wrpkru(0, vcpu->vc_pkru); in vcpu_run_svm()6241 vcpu->vc_pkru = rdpkru(0); in vcpu_run_svm()