diff options
author | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2013-05-07 15:12:38 +0100 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2013-05-08 11:01:52 +0100 |
commit | 51c2a919a33610d8f67788af12cf647c766685e2 (patch) | |
tree | 00e45cfd2c76955eb493290724939c3fbf33f5f6 /xen/include/public | |
parent | 64839b0f295dfa18ffde1b05da03bc0ff1dabd58 (diff) | |
download | xen-51c2a919a33610d8f67788af12cf647c766685e2.tar.gz xen-51c2a919a33610d8f67788af12cf647c766685e2.tar.bz2 xen-51c2a919a33610d8f67788af12cf647c766685e2.zip |
xen/arm: basic PSCI support, implement cpu_on and cpu_off
Implement support for ARM Power State Coordination Interface, PSCI in
short. Support only HVC calls.
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'xen/include/public')
-rw-r--r-- | xen/include/public/arch-arm.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/xen/include/public/arch-arm.h b/xen/include/public/arch-arm.h index cea12b2ea8..8aa62d373b 100644 --- a/xen/include/public/arch-arm.h +++ b/xen/include/public/arch-arm.h @@ -237,6 +237,8 @@ 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__ */ /* |