ofw_claimvirt
ofw_claimvirt(vaddr_t va, vsize_t size)
ofw_claimvirt(vaddr_t va, vsize_t size, vaddr_t align)