KERNEL_IMG_PTS
static pv_addr_t proc0_pt_kernel[KERNEL_IMG_PTS];
for (i = 0; i < KERNEL_IMG_PTS; i++)
for (i = 0; i < KERNEL_IMG_PTS; i++)
#if KERNEL_IMG_PTS != 2
ofw_discardmappings(proc0_pt_kernel[KERNEL_IMG_PTS - 1].pv_va,
virt_freeptr = KERNEL_BASE + (0x00400000 * KERNEL_IMG_PTS);