------- Comment on attachment From <email address hidden> 2018-05-10 00:32 EDT-------
Try this one instead of the "Patch to add extra tlbsyncs". Ben H pointed out that it is ptesync which is important, not tlbsync (which is actually a no-op, though architecturally required), so this version adds a ptesync to the guest exit path as well as the tlbsync.
------- Comment on attachment From <email address hidden> 2018-05-10 00:32 EDT-------
Try this one instead of the "Patch to add extra tlbsyncs". Ben H pointed out that it is ptesync which is important, not tlbsync (which is actually a no-op, though architecturally required), so this version adds a ptesync to the guest exit path as well as the tlbsync.