blob: 856f2dbec4ad4db0e4d039d4b8579ab318ab240a (
plain)
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
|
#ifndef __ARM_ARM32_MM_H__
#define __ARM_ARM32_MM_H__
#include <xen/percpu.h>
#include <asm/lpae.h>
DECLARE_PER_CPU(lpae_t *, xen_pgtable);
/*
* Only a limited amount of RAM, called xenheap, is always mapped on ARM32.
* For convenience always return false.
*/
static inline bool arch_mfns_in_directmap(unsigned long mfn, unsigned long nr)
{
return false;
}
bool init_domheap_mappings(unsigned int cpu);
static inline void arch_setup_page_tables(void)
{
}
#endif /* __ARM_ARM32_MM_H__ */
/*
* Local variables:
* mode: C
* c-file-style: "BSD"
* c-basic-offset: 4
* tab-width: 4
* indent-tabs-mode: nil
* End:
*/
|
