Symbol: CR4_PKE
usr/src/compat/bhyve/amd64/machine/specialreg.h
40
#undef CR4_PKE
usr/src/uts/intel/sys/controlregs.h
125
#define CR4_PKE 0x400000 /* protection key enable */