On 12/11/18 10:52 AM, Peter Maydell wrote: > This has lost the bit of the old functions that converted > the stage 1+2 MMU index into a stage 1 MMU index. The call > to regime_el() in aa64_va_parameters() will assert if it is > passed ARMMMUIdx_S12NSE0 or ARMMMUIdx_S12NSE1. (In the code > paths in the get_phys_addr() functions, this is handled by > the top level get_phys_addr() code, so get_phys_addr_lpae() > never sees a stage 1+2 MMU index.)
Yes, I've got a fixup patch on my branch for this. It showed up quite early booting bios. ;-) r~
