Searched refs:arch_mmu_free (Results 1 – 6 of 6) sorted by relevance
22 extern status_t arch_mmu_free(void *address, size_t size);
23 extern status_t arch_mmu_free(void *address, size_t size);
50 return arch_mmu_free(address, size); in platform_free_region()
450 arch_mmu_free(void *address, size_t size) in arch_mmu_free() function
542 arch_mmu_free(void *address, size_t size) in arch_mmu_free() function