Symbol: NKPDPE
sys/platform/pc64/include/vmparam.h
116
#define NKPDPE (NKPML4E*NPDPEPG-1)
sys/platform/vkernel64/include/pmap.h
72
#define NKPDPE 128 /* number of kernel PDP slots */