On 11/09/2016 03:57 PM, Alex Bennée wrote:
+ /* We are requested to boot in AArch32 mode */ + static uint32_t mode_for_el[] = { 0, + ARM_CPU_MODE_SVC, + ARM_CPU_MODE_HYP, + ARM_CPU_MODE_SVC };
I know you're just moving most of this code, but, const. Otherwise, Reviewed-by: Richard Henderson <r...@twiddle.net> r~