Symbol: PMAP_MAX_PKRU_IDX
sys/amd64/amd64/pmap.c
11566
MPASS(keyidx <= PMAP_MAX_PKRU_IDX);
sys/amd64/amd64/pmap.c
11649
if (pmap->pm_type != PT_X86 || keyidx > PMAP_MAX_PKRU_IDX ||
sys/amd64/include/pte.h
75
#define X86_PG_PKU_MASK X86_PG_PKU(PMAP_MAX_PKRU_IDX)