Symbol: CR4_PKE
sys/arch/amd64/include/specialreg.h
88
#define CR4_PKE 0x00400000 /* user-mode protection keys */
sys/arch/i386/include/specialreg.h
83
#define CR4_PKE 0x00400000 /* protection key enable */