blob: e0bd23a6ed0c422ce992e785ba74d1d9b9eb581a (
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
36
|
#ifndef __ARM_ARM64_MM_H__
#define __ARM_ARM64_MM_H__
extern DEFINE_PAGE_TABLE(xen_pgtable);
/*
* On ARM64, all the RAM is currently direct mapped in Xen.
* Hence return always true.
*/
static inline bool arch_mfns_in_directmap(unsigned long mfn, unsigned long nr)
{
return true;
}
void arch_setup_page_tables(void);
/*
* Enable/disable the identity mapping in the live page-tables (i.e.
* the one pointed by TTBR_EL2).
*
* Note that nested call (e.g. enable=true, enable=true) is not
* supported.
*/
void update_identity_mapping(bool enable);
#endif /* __ARM_ARM64_MM_H__ */
/*
* Local variables:
* mode: C
* c-file-style: "BSD"
* c-basic-offset: 4
* tab-width: 4
* indent-tabs-mode: nil
* End:
*/
|
