On Sat, Feb 9, 2019 at 11:41 PM Juergen Gross <[email protected]> wrote: > > Make set_pmd_at() paravirt aware by just letting it use set_pmd().
Well, that was simpler than I worried.
Just checking: Is this purely an x86 issue? ARM is ok perhaps because
there's no PV support?
Linus
