On 12/6/19 8:03 AM, Peter Maydell wrote: > So I *think* what the code is doing is: > > When VHE is enabled, the exception level below EL2 is > not EL1, but EL0, and so to identify the entry vector > offset for exceptions targeting EL2 we need to look > at the width of EL0, not of EL1. > > Is that right?
Correct. Much better wording, thanks. Will update. r~