Found on xen-devel (see URL), not sure whether we need it, see URL field for patch. Quote from there: But, with SVM ASIDs, it is possible to: (1) Update CR3 update, (2) vmenter the guest, and (3) and vmexit due to a page fault all without an intervening host TLB flush. Then the page fault code could use the linear pagetable to read a top-level shadow page table entry. But, without this change, it would fetch the wrong value due to a stale TLB.
Fixed in xen-3.1-testing.hg cset 15491:3ce0fb37cf59
This issue was fixed by the rebase to the Xen 3.1.2 Hypervisor and is thus fixed for RHEL 5.2. Setting flags and state.
You can download this test kernel from http://people.redhat.com/dzickus/el5
An advisory has been issued which should help the problem described in this bug report. This report is therefore being closed with a resolution of ERRATA. For more information on the solution and/or where to find the updated files, please follow the link below. You may reopen this bug report if the solution does not work for you. http://rhn.redhat.com/errata/RHBA-2008-0314.html