Symbol: SEFF0ECX_PKU
sys/arch/amd64/amd64/pmap.c
688
if (ecx & SEFF0ECX_PKU) {
sys/arch/amd64/amd64/vmm_machdep.c
6421
*rcx |= SEFF0ECX_PKU;
sys/arch/amd64/amd64/vmm_machdep.c
6423
*rcx &= ~SEFF0ECX_PKU;
sys/arch/i386/i386/machdep.c
1027
{ SEFF0ECX_PKU, "PKU" },