On ARM, given the kind of guests we support, it makes sense to set
paging_mode_translate and paging_mode_external by default.
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
#ifndef _XEN_PAGING_H
#define _XEN_PAGING_H
-#define paging_mode_translate(d) (0)
-#define paging_mode_external(d) (0)
+#define paging_mode_translate(d) (1)
+#define paging_mode_external(d) (1)
#endif /* XEN_PAGING_H */