On 25 September 2014 23:20, Edgar E. Iglesias <edgar.igles...@gmail.com> wrote: > On Thu, Sep 25, 2014 at 07:39:32PM +0100, Peter Maydell wrote: >> HCR.TGE isn't actually relevant for some exceptions >> (eg SMC), and the HVC handling you have below >> effectively ends up ignoring the route_to_el2 >> information. That suggests to me that you should put >> this code in a default: case in the switch below. > > I don't really test nor support TGE so I'll just drop the TGE part.
I'd rather we just implemented it properly... -- PMM