mmu_allocate_physical
if (!mmu_allocate_physical(base, size))
extern bool mmu_allocate_physical(addr_t base, size_t size);