pmap_prealloc_lowmem_ptps
avail_start = pmap_prealloc_lowmem_ptps(avail_start);
paddr_t pmap_prealloc_lowmem_ptps(paddr_t);