Symbol: NKPML4E
sys/platform/pc64/include/pmap.h
76
#define NKPML4E 16
sys/platform/vkernel64/include/pmap.h
71
#define NKPML4E 1 /* number of kernel PML4 slots */