On Wed, 9 Jan 2019 at 15:26, Alexander Graf <ag...@suse.de> wrote: > > In U-boot, we switch from S-SVC -> MON -> HYP when we want to enter > HYP mode. This dance seems to work ok (hence it's there in the code > base), but breaks with current QEMU. > > The reason seems to be that we try to see whether we are entering > HYP mode from the NS side. However, MON is always considered secure, > so we always fall into an error case when going MON->HYP and never > manage to actually do the switch. > > Fix this by not using a different helper function that does not bork > when we're in MON state, as that switch is supposed to work. > > Signed-off-by: Alexander Graf <ag...@suse.de> > --- > target/arm/helper.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/target/arm/helper.c b/target/arm/helper.c > index f00c141ef9..9bf8fbd8f9 100644 > --- a/target/arm/helper.c > +++ b/target/arm/helper.c > @@ -6297,7 +6297,7 @@ static int bad_mode_switch(CPUARMState *env, int mode, > CPSRWriteType write_type) > return 0; > case ARM_CPU_MODE_HYP: > return !arm_feature(env, ARM_FEATURE_EL2) > - || arm_current_el(env) < 2 || arm_is_secure(env); > + || arm_current_el(env) < 2 || arm_is_secure_below_el3(env); > case ARM_CPU_MODE_MON: > return arm_current_el(env) < 3; > default: > --
This took me a while to figure out, because the bad_mode_switch() code is called for doing checks in two situations: (1) changes to mode by instructions writing to CPSR.M (ie not exception take/return) -- this corresponds to the Armv8 Arm ARM pseudocode AArch32.WriteModeByInstr, and using this to enter or leave Hyp mode is forbidden in v8 and UNPREDICTABLE in v7 (2) changes to mode by exception return Changing to or from Hyp by writing CPSR.M is forbidden, but we catch that already at the top of the bad_mode_switch() function. So what we need to consider here is the exception-return case. An exception return from Mon to Hyp with the NS bit 0 is OK. So this change is the right thing. Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM