do_mem_alloc
return (do_mem_alloc(size, MMU_PAGESIZE));
ktext_phys = (uintptr_t)do_mem_alloc(ksize, FOUR_MEG);