[Xen-changelog] [xen-unstable] x86/32: Fix domain_relinquish_resources().

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kfraser@xxxxxxxxxxxxxxxxxxxxx
# Date 1189191237 -3600
# Node ID f8e7f06b351c7a526e0187ab701457f8ed65b835
# Parent  9071521d48646d247efafcf230ea0a4a2b6f0efa
x86/32: Fix domain_relinquish_resources().
Fixes a host crash on preempted domain_kill().
Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>
---
 xen/arch/x86/domain.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff -r 9071521d4864 -r f8e7f06b351c xen/arch/x86/domain.c
--- a/xen/arch/x86/domain.c     Fri Sep 07 11:39:10 2007 +0100
+++ b/xen/arch/x86/domain.c     Fri Sep 07 19:53:57 2007 +0100
@@ -1761,8 +1761,8 @@ int domain_relinquish_resources(struct d
         /* fallthrough */
 
         /* Relinquish every page of memory. */
+    case RELMEM_xen_l4:
 #if CONFIG_PAGING_LEVELS >= 4
-    case RELMEM_xen_l4:
         ret = relinquish_memory(d, &d->xenpage_list, PGT_l4_page_table);
         if ( ret )
             return ret;
@@ -1776,8 +1776,8 @@ int domain_relinquish_resources(struct d
         /* fallthrough */
 #endif
 
+       case RELMEM_xen_l3:
 #if CONFIG_PAGING_LEVELS >= 3
-       case RELMEM_xen_l3:
         ret = relinquish_memory(d, &d->xenpage_list, PGT_l3_page_table);
         if ( ret )
             return ret;

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