ofw_claimpages
ofw_claimpages(&virt_freeptr, &kernel_l1pt, L1_TABLE_SIZE);
ofw_claimpages(&virt_freeptr, &proc0_pt_sys, L2_TABLE_SIZE);
ofw_claimpages(&virt_freeptr, &proc0_pt_kernel[i], L2_TABLE_SIZE);
ofw_claimpages(&virt_freeptr, &proc0_pt_vmdata[i], L2_TABLE_SIZE);
ofw_claimpages(&virt_freeptr, &proc0_pt_ofw[i], L2_TABLE_SIZE);
ofw_claimpages(&virt_freeptr, &proc0_pt_io[i], L2_TABLE_SIZE);
ofw_claimpages(&virt_freeptr, &irqstack, PAGE_SIZE);
ofw_claimpages(&virt_freeptr, &undstack, PAGE_SIZE);
ofw_claimpages(&virt_freeptr, &abtstack, PAGE_SIZE);
ofw_claimpages(&virt_freeptr, &kernelstack, UPAGES * PAGE_SIZE);
ofw_claimpages(&virt_freeptr, &msgbuf, MSGBUFSIZE);
ofw_claimpages(&virt_freeptr, &new, claim_size);
static void ofw_claimpages(vaddr_t *, pv_addr_t *, vsize_t);