Symbol: MPPTDI
sys/platform/pc64/include/vmparam.h
120
NPDPEPG - 1, MPPTDI, NPTEPG - 1)
sys/platform/pc64/x86_64/mp_machdep.c
1483
kprintf("PTD[MPPTDI] = %p\n", (void *)PTD[MPPTDI]);