Symbol: wrpkru
sys/arch/amd64/amd64/vmm_machdep.c
3918
wrpkru(0, vcpu->vc_pkru);
sys/arch/amd64/amd64/vmm_machdep.c
3928
wrpkru(0, PGK_VALUE);
sys/arch/amd64/amd64/vmm_machdep.c
6800
wrpkru(0, vcpu->vc_pkru);
sys/arch/amd64/amd64/vmm_machdep.c
6816
wrpkru(0, PGK_VALUE);