NPML5EPG
for (i = 0; i < NPML5EPG; i++) {
for (i = 0; i < NPML5EPG / 2; i++)
for (; i < NPML5EPG; i++)
for (i = NPML5EPG / 2; i < NPML5EPG; i++)
.kva_min = KV5ADDR(NPML5EPG / 2, 0, 0, 0, 0), /* == rec_pt */
.kva_max = KV5ADDR(NPML5EPG - 1, NPML4EPG - 1, NPDPEPG - 1,
#define NUPML5E (NPML5EPG / 2) /* number of userland PML5
#define PML5PML5I (NPML5EPG / 2) /* Index of recursive pml5 mapping */
#define DMPML5I (NPML5EPG / 2 + 1)