diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2013-07-29 13:20:53 +0100 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-07-29 16:54:49 +0100 |
| commit | bcac10f827f594b5dc8e7b87da17e01c79892b18 (patch) | |
| tree | e842a3c313c2ee66433852f49e387b48d6988641 /xen/include/public | |
| parent | cb5e832146d3f3efb6a8793b7523a315262d1333 (diff) | |
| download | xen-bcac10f827f594b5dc8e7b87da17e01c79892b18.tar.gz xen-bcac10f827f594b5dc8e7b87da17e01c79892b18.tar.bz2 xen-bcac10f827f594b5dc8e7b87da17e01c79892b18.zip | |
xen: arm: support building a 64-bit dom0 domain
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Diffstat (limited to 'xen/include/public')
| -rw-r--r-- | xen/include/public/arch-arm.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/xen/include/public/arch-arm.h b/xen/include/public/arch-arm.h index 8aa62d373b..cea12b2ea8 100644 --- a/xen/include/public/arch-arm.h +++ b/xen/include/public/arch-arm.h @@ -237,8 +237,6 @@ typedef uint64_t xen_callback_t; #define PSR_IT_MASK (0x0600fc00) /* Thumb If-Then Mask */ #define PSR_JAZELLE (1<<24) /* Jazelle Mode */ -#define PSR_GUEST_INIT (PSR_ABT_MASK|PSR_FIQ_MASK|PSR_IRQ_MASK|PSR_MODE_SVC) - #endif /* __XEN_PUBLIC_ARCH_ARM_H__ */ /* |