Symbol: SEFF0ECX_PKU
sys/arch/amd64/include/specialreg.h
260
#define SEFF0ECX_PKU 0x00000008 /* Page prot keys for user mode */
sys/arch/i386/include/specialreg.h
192
#define SEFF0ECX_PKU 0x00000008 /* Page prot keys for user mode */