On Thu, 10 Jan 2019 at 12:17, Richard Henderson <[email protected]> wrote: > > This is all of the non-exception cases of DISAS_NORETURN.
What about the gen_helper_exit_atomic() exit cases ? > For the rest of the synchronous exceptions, the state of > SPSR_ELx.BTYPE is CONSTRAINED UNPREDICTABLE. However, it > makes more sense to me to have syscalls reset BTYPE. The advantage of picking the other choice (SPSR_ELx.BTYPE == PSTATE.BTYPE) is that it means that the behaviour is identical for all exceptions (async or sync of any type) and we don't do the work of clearing the BTYPE field (which will happen potentially in "normal" guest code if we're not in a guarded page, I think). thanks -- PMM
