From mboxrd@z Thu Jan  1 00:00:00 1970
From: "Ling, Xiaofeng" <xiaofeng.ling@intel.com>
Subject: [PATCH] fix segmentation faults when booting FC3 in vmx
	domain
Date: Wed, 30 Nov 2005 16:16:11 +0800
Message-ID: <438D5FCB.2080008@intel.com>
Mime-Version: 1.0
Content-Type: multipart/mixed; boundary="------------040509050200020208070103"
Return-path: <xen-devel-bounces@lists.xensource.com>
List-Unsubscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xensource.com>
List-Help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-Subscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
Sender: xen-devel-bounces@lists.xensource.com
Errors-To: xen-devel-bounces@lists.xensource.com
To: xen-devel <xen-devel@lists.xensource.com>
List-Id: xen-devel@lists.xenproject.org

This is a multi-part message in MIME format.
--------------040509050200020208070103
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit

# HG changeset patch
# User Xiaofeng Ling <xiaofeng.ling@intel.com>
# Node ID 722429e8b618adc9f39340ff39fc0d7f4a6b1bec
# Parent  ccf76e51e7e6661df56c35c244fca0a52aa8f481
We need to do sync when mov_to_cr3 to a value already shadowed.
The L2 page and already shadowed L1 page may be out of sync.
This patch fix the problems of segmentation faults and strange prints
when booting Redhat FC3 and make kernel in FC3 in VMX domain.

Signed-off-by: Xiaofeng Ling <xiaofeng.ling@intel.com>

diff -r ccf76e51e7e6 -r 722429e8b618 xen/arch/x86/shadow.c
--- a/xen/arch/x86/shadow.c	Tue Nov 29 17:59:03 2005 +0100
+++ b/xen/arch/x86/shadow.c	Wed Nov 30 16:08:41 2005 +0800
@@ -2154,7 +2154,8 @@
  #elif CONFIG_PAGING_LEVELS == 4
          smfn = shadow_l4_table(d, gpfn, gmfn);
  #endif
-    }
+    }else
+        shadow_sync_all(d);
      if ( !get_shadow_ref(smfn) )
          BUG();
      old_smfn = pagetable_get_pfn(v->arch.shadow_table);
diff -r ccf76e51e7e6 -r 722429e8b618 xen/arch/x86/shadow32.c
--- a/xen/arch/x86/shadow32.c	Tue Nov 29 17:59:03 2005 +0100
+++ b/xen/arch/x86/shadow32.c	Wed Nov 30 16:08:41 2005 +0800
@@ -2911,6 +2911,8 @@
       */
      if ( unlikely(!(smfn = __shadow_status(d, gpfn, 
PGT_base_page_table))) )
          smfn = shadow_l2_table(d, gpfn, gmfn);
+    else
+        shadow_sync_all(d);
      if ( !get_shadow_ref(smfn) )
          BUG();
      old_smfn = pagetable_get_pfn(v->arch.shadow_table);

--------------040509050200020208070103
Content-Type: text/x-patch;
 name="movcrsync.patch"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline;
 filename="movcrsync.patch"

# HG changeset patch
# User Xiaofeng Ling <xiaofeng.ling@intel.com>
# Node ID 722429e8b618adc9f39340ff39fc0d7f4a6b1bec
# Parent  ccf76e51e7e6661df56c35c244fca0a52aa8f481
We need to do sync when mov_to_cr3 to a value already shadowed.
The L2 page and already shadowed L1 page may out of sync.
This patch fix the problems of segmentation faults and strange prints
when booting Redhat FC3 and make kernel in FC3 in VMX domain.

Signed-off-by: Xiaofeng Ling <xiaofeng.ling@intel.com>

diff -r ccf76e51e7e6 -r 722429e8b618 xen/arch/x86/shadow.c
--- a/xen/arch/x86/shadow.c	Tue Nov 29 17:59:03 2005 +0100
+++ b/xen/arch/x86/shadow.c	Wed Nov 30 16:08:41 2005 +0800
@@ -2154,7 +2154,8 @@
 #elif CONFIG_PAGING_LEVELS == 4
         smfn = shadow_l4_table(d, gpfn, gmfn);
 #endif
-    }
+    }else
+        shadow_sync_all(d);
     if ( !get_shadow_ref(smfn) )
         BUG();
     old_smfn = pagetable_get_pfn(v->arch.shadow_table);
diff -r ccf76e51e7e6 -r 722429e8b618 xen/arch/x86/shadow32.c
--- a/xen/arch/x86/shadow32.c	Tue Nov 29 17:59:03 2005 +0100
+++ b/xen/arch/x86/shadow32.c	Wed Nov 30 16:08:41 2005 +0800
@@ -2911,6 +2911,8 @@
      */
     if ( unlikely(!(smfn = __shadow_status(d, gpfn, PGT_base_page_table))) )
         smfn = shadow_l2_table(d, gpfn, gmfn);
+    else
+        shadow_sync_all(d);
     if ( !get_shadow_ref(smfn) )
         BUG();
     old_smfn = pagetable_get_pfn(v->arch.shadow_table);

--------------040509050200020208070103
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel

--------------040509050200020208070103--