>>> On 09.11.18 at 16:26, wrote:
> This is a minimal backport of pieces of:
>
> c/s 28d9a9a2d41759b9e5163037b759ac557aea767c
> c/s 4c5d78a10dc89427140a50a1df5a0b8e9f073e82
>
> to fix a PV shadowing problem which I hadn't anticipated at the time these
> fixes were first accepted.
>
> Having op
This is a minimal backport of pieces of:
c/s 28d9a9a2d41759b9e5163037b759ac557aea767c
c/s 4c5d78a10dc89427140a50a1df5a0b8e9f073e82
to fix a PV shadowing problem which I hadn't anticipated at the time these
fixes were first accepted.
Having opt_allow_superpage disabled causes guest_supports_sup