KERN_END3X
const vaddr_t kern_end = KERN_END3X;
for (i = MMU_TIA(KERNBASE3X); i < MMU_TIA(KERN_END3X); i++) {