Symbol: CR4_PKE
sys/arch/amd64/amd64/cpu.c
811
cr4 |= CR4_PKE;
sys/arch/amd64/amd64/pmap.c
689
lcr4(rcr4() | CR4_PKE);
sys/arch/amd64/amd64/vmm_machdep.c
300
if (rcr4() & CR4_PKE)
sys/arch/amd64/amd64/vmm_machdep.c
8599
{ CR4_PKE, "PKE ", "pke "},