arch_mmu_free
extern status_t arch_mmu_free(void *address, size_t size);
extern status_t arch_mmu_free(void *address, size_t size);
extern status_t arch_mmu_free(void *address, size_t size);
return arch_mmu_free(address, size);