Searched refs:wrpkru (Results 1 – 4 of 4) sorted by relevance
| /openbsd/sys/arch/amd64/include/ |
| H A D | cpufunc.h | 242 wrpkru(u_int ecx, uint32_t pkru) in wrpkru() function
|
| /openbsd/sys/arch/amd64/amd64/ |
| H A D | locore.S | 1170 wrpkru
|
| H A D | vmm_machdep.c | 3829 wrpkru(0, vcpu->vc_pkru); in vcpu_run_vmx()
3839 wrpkru(0, PGK_VALUE); in vcpu_run_vmx()
6233 wrpkru(0, vcpu->vc_pkru); in vcpu_run_svm()
6244 wrpkru(0, PGK_VALUE); in vcpu_run_svm()
|
| /openbsd/gnu/llvm/llvm/lib/Target/X86/ |
| H A D | X86InstrSystem.td | 622 def WRPKRUr : I<0x01, MRM_EF, (outs), (ins), "wrpkru",
|