DMPML5I
} else if (i >= DMPML5I && i < DMPML5I + ndmpml4phys) {
p5_p[i] = (DMPML4phys + ptoa(i - DMPML5I)) |
.dmap_low = KV5ADDR(DMPML5I, 0, 0, 0, 0),
.dmap_high = KV5ADDR(DMPML5I + NDMPML5E, 0, 0, 0, 0),
#define LMSPML5I (DMPML5I + NDMPML5E)