KERNPTDI
_Static_assert(KERNLOAD == (KERNPTDI << PDRSHIFT), "KERNLOAD");
else if (i == KERNPTDI * NPTEPG)