/* Arch-specific wrapper function for memory unmapping at run-time Unmaps memory according to the parameters provided by the caller at run-time. This function wraps the ARMv7 MMU specific implementation #__arch_mem_unmap() for the upper layers of the memory management.  */
void arch_mem_unmap(void *addr, size_t size)
/* Arch-specific wrapper function for memory unmapping at run-time Unmaps memory according to the parameters provided by the caller at run-time. This function wraps the ARMv7 MMU specific implementation #__arch_mem_unmap() for the upper layers of the memory management.  */
void arch_mem_unmap(void *addr, size_t size)
{
	int ret = __arch_mem_unmap(addr, size);
	if (ret) {
		LOG_ERR("__arch_mem_unmap() returned %d", ret);
	} else {
		invalidate_tlb_all();
	}
}