On 31 October 2017 at 17:07, Stefano Stabellini <sstabell...@kernel.org> wrote:
> Sorry Peter, I copy/pasted the values from arm32/page.h instead of
> arm64/page.h in Xen :-/
>
> Xen is running at EL2, 64-bit (aarch64). The ATS instruction is "at
> s1e2r", used to translate Xen virtual addresses into physical addresses.
> This is what breaks.
Thanks. OK, so if we change the line in do_ats_write() from
if (extended_addresses_enabled(env)) {
to
if (arm_s1_regime_using_lpae_format(env, mmu_idx)) {
does that fix your problem?
thanks
-- PMM
