MAXPHYSMEM
CTASSERT(NL4_SLOT_DIRECT * NBPD_L4 == MAXPHYSMEM);
if (lastpa > MAXPHYSMEM) {
if (seg_end > MAXPHYSMEM) {
if (seg_end == MAXPHYSMEM)