On 24/06/2015 12:48, Peter Maydell wrote: > > > I didn't think SETEND existed at all in AArch64? > > > > No, but the kernel traps it and flips SCTLR.E0E. > > Traps what? There is no encoding in A64, unless I'm missing something...
Ah, it's the A64 kernel executing A32 code. So no problem. Paolo
