LMSPML5I
kernel_pmap->pm_pmltop[LMSPML5I + i] = X86_PG_V |
.lm_low = KV5ADDR(LMSPML5I, 0, 0, 0, 0),
#define LMEPML5I (LMSPML5I + 32 - 1) /* 32 slots for large map */