Searched refs:PMAP_MAX_PKRU_IDX (Results 1 - 2 of 2) sorted by relevance

/freebsd-12-stable/sys/amd64/include/
H A Dpmap.h78 #define PMAP_MAX_PKRU_IDX 0xf macro
79 #define X86_PG_PKU_MASK X86_PG_PKU(PMAP_MAX_PKRU_IDX)
/freebsd-12-stable/sys/amd64/amd64/
H A Dpmap.c10030 MPASS(keyidx <= PMAP_MAX_PKRU_IDX);
10097 if (pmap->pm_type != PT_X86 || keyidx > PMAP_MAX_PKRU_IDX ||

Completed in 196 milliseconds