pmap_kmem_choose
virtual_start = pmap_kmem_choose(virtual_start);
static vm_offset_t pmap_kmem_choose(vm_offset_t addr);