blob: 123cc585978f4349afb3018388567af6adf3c07c (
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
|
#ifndef __XEN_PAGING_H__
#define __XEN_PAGING_H__
#if defined CONFIG_PAGING_ASSISTANCE
#include <asm/paging.h>
#include <asm/p2m.h>
#elif defined CONFIG_SHADOW
#include <asm/shadow.h>
#define paging_mode_translate(d) shadow_mode_translate(d)
#define paging_mode_external(d) (0)
#else
#define paging_mode_translate(d) (0)
#define paging_mode_external(d) (0)
#define guest_physmap_add_page(d, p, m, o) ((void)0)
#define guest_physmap_remove_page(d, p, m, o) ((void)0)
#endif
#endif /* __XEN_PAGING_H__ */
|