Symbol: CR4_PKE
sys/amd64/amd64/fpu.c
372
cr4 &= ~CR4_PKE;
sys/amd64/amd64/initcpu.c
291
cr4 |= CR4_PKE;