On 06/02/21 01:26, Sean Christopherson wrote:
We could fudge around it via #ifdef around the xchg(). Making all of tdp_mmu.c x86-64 only would be nice to avoid future annoyance, though the number of stubs required would be painful...
It's really just a handful, so it's worth it. Paolo