On Mon, Aug 22, 2016 at 09:01:17AM +0100, Marc Zyngier wrote:

We're trying hard to detect when the HYP idmap overlaps with the
HYP va, as it makes the teardown of a cpu dangerous. But there is
one case where an overlap is completely safe, which is when the
whole of the kernel is idmap'ed, which is likely to happen on 32bit
when RAM is at 0x8000000 and we're using a 2G/2G VA split.

In that case, we can proceed safely.

Reported-by: Christoffer Dall <redacted>
Signed-off-by: Marc Zyngier <redacted>

Thanks, applied.

-Christoffer