Symbol: rdpkru
sys/arch/amd64/amd64/trap.c
559
if (pg_xo == 0 || rdpkru(0) == PGK_VALUE)
sys/arch/amd64/amd64/vmm_machdep.c
3935
vcpu->vc_pkru = rdpkru(0);
sys/arch/amd64/amd64/vmm_machdep.c
6823
vcpu->vc_pkru = rdpkru(0);