On Sun, 2014-06-08 at 14:27 +0100, Ian Campbell wrote: > get_phys_addr_lpae: XN == 1000 yes, PXN == 800 no > > Which I think is correct.
Aha, for VMSA-v8 bit 54 is UXN unlike v7 where it is just XN. So that's the underlying bug I'm seeing I think... I'll confirm and post a patch. Ian.