__mmu_mapin_ram
return __mmu_mapin_ram(base, top);
done = __mmu_mapin_ram(base, border);
return __mmu_mapin_ram(border, top);