1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
// SPDX-License-Identifier: GPL-2.0-only
#define pr_fmt(fmt) "mmu: " fmt
#include <common.h>
#include <init.h>
#include <dma-dir.h>
#include <dma.h>
#include <mmu.h>
#include <asm/system.h>
#include <memory.h>
#include "mmu.h"
void dma_sync_single_for_cpu(dma_addr_t address, size_t size,
enum dma_data_direction dir)
{
/*
* FIXME: This function needs a device argument to support non 1:1 mappings
*/
if (dir != DMA_TO_DEVICE)
dma_inv_range((void *)address, size);
}
void *dma_alloc_map(size_t size, dma_addr_t *dma_handle, unsigned flags)
{
void *ret;
size = PAGE_ALIGN(size);
ret = xmemalign(PAGE_SIZE, size);
if (dma_handle)
*dma_handle = (dma_addr_t)ret;
memset(ret, 0, size);
dma_flush_range(ret, size);
arch_remap_range(ret, size, flags);
return ret;
}
void *dma_alloc_coherent(size_t size, dma_addr_t *dma_handle)
{
/*
* FIXME: This function needs a device argument to support non 1:1 mappings
*/
return dma_alloc_map(size, dma_handle, MAP_UNCACHED);
}
void dma_free_coherent(void *mem, dma_addr_t dma_handle, size_t size)
{
size = PAGE_ALIGN(size);
arch_remap_range(mem, size, MAP_CACHED);
free(mem);
}
static int mmu_init(void)
{
if (list_empty(&memory_banks))
/*
* If you see this it means you have no memory registered.
* This can be done either with arm_add_mem_device() in an
* initcall prior to mmu_initcall or via devicetree in the
* memory node.
*/
panic("MMU: No memory bank found! Cannot continue\n");
__mmu_init(get_cr() & CR_M);
return 0;
}
mmu_initcall(mmu_init);
|
