Symbol: PGK_VALUE
sys/arch/amd64/amd64/trap.c
559
if (pg_xo == 0 || rdpkru(0) == PGK_VALUE)
sys/arch/amd64/amd64/vmm_machdep.c
3936
wrpkru(0, PGK_VALUE);
sys/arch/amd64/amd64/vmm_machdep.c
6824
wrpkru(0, PGK_VALUE);