Symbol: NL4_SLOT_DIRECT
sys/arch/x86/x86/pmap.c
1710
CTASSERT(NL4_SLOT_DIRECT * NBPD_L4 == MAXPHYSMEM);
sys/arch/x86/x86/pmap.c
1741
KASSERT(nL4e <= NL4_SLOT_DIRECT);