/* xen_ulong_t is always 64 bits */
#define BITS_PER_XEN_ULONG 64
-#define CONFIG_PAGING_ASSISTANCE 1
-
#define CONFIG_PAGING_LEVELS 3
#define CONFIG_ARM 1
#define BITS_PER_XEN_ULONG BITS_PER_LONG
-#define CONFIG_PAGING_ASSISTANCE 1
#define CONFIG_X86_PM_TIMER 1
#define CONFIG_HPET_TIMER 1
#define CONFIG_X86_MCE_THERMAL 1
-
#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_PAGING
-
-#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__ */