xen/arm: set paging_mode_translate and paging_mode_external
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 23 Jul 2012 16:29:28 +0000 (17:29 +0100)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 23 Jul 2012 16:29:28 +0000 (17:29 +0100)
commit5f607d45b51a3d82fdc3cfc8af7adb36db914086
tree91cb6855943729694b3003596fd0842f20d8053d
parent3cb62822d01e0804a9c13e17f2597be250abbe26
xen/arm: set paging_mode_translate and paging_mode_external

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>
xen/include/asm-arm/paging.h