diff -r ab0c1bdede53 xen/arch/x86/mm/shadow/multi.c
--- a/xen/arch/x86/mm/shadow/multi.c	Wed Nov 26 11:14:26 2008 +0000
+++ b/xen/arch/x86/mm/shadow/multi.c	Wed Nov 26 17:04:37 2008 +0000
@@ -2924,6 +2924,7 @@ static int sh_page_fault(struct vcpu *v,
                writes to an out of sync page. */
             if ( mfn_valid(gmfn) && mfn_is_out_of_sync(gmfn) )
             {
+                fast_emul = 0;
                 v->arch.paging.last_write_emul_ok = 0;
                 goto page_fault_slow_path;
             }