1 #ifndef __ARM_ARM32_MM_H__
2 #define __ARM_ARM32_MM_H__
3 
4 #include <xen/percpu.h>
5 
6 #include <asm/lpae.h>
7 
8 DECLARE_PER_CPU(lpae_t *, xen_pgtable);
9 
10 /*
11  * Only a limited amount of RAM, called xenheap, is always mapped on ARM32.
12  * For convenience always return false.
13  */
arch_mfns_in_directmap(unsigned long mfn,unsigned long nr)14 static inline bool arch_mfns_in_directmap(unsigned long mfn, unsigned long nr)
15 {
16     return false;
17 }
18 
19 bool init_domheap_mappings(unsigned int cpu);
20 
arch_setup_page_tables(void)21 static inline void arch_setup_page_tables(void)
22 {
23 }
24 
25 #endif /* __ARM_ARM32_MM_H__ */
26 
27 /*
28  * Local variables:
29  * mode: C
30  * c-file-style: "BSD"
31  * c-basic-offset: 4
32  * tab-width: 4
33  * indent-tabs-mode: nil
34  * End:
35  */
36