x86/32: Fix domain_relinquish_resources().

Fixes a host crash on preempted domain_kill().
Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index f4f6ca47dfd16074b3bc4466787eba9f79c8aa3d..49d11ccc63759f4277ded7b989138c023bae585c 100644 (file)
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -1761,8 +1761,8 @@ int domain_relinquish_resources(struct domain *d)
         /* fallthrough */
 
         /* Relinquish every page of memory. */
-#if CONFIG_PAGING_LEVELS >= 4
     case RELMEM_xen_l4:
+#if CONFIG_PAGING_LEVELS >= 4
         ret = relinquish_memory(d, &d->xenpage_list, PGT_l4_page_table);
         if ( ret )
             return ret;
@@ -1776,8 +1776,8 @@ int domain_relinquish_resources(struct domain *d)
         /* fallthrough */
 #endif
 
-#if CONFIG_PAGING_LEVELS >= 3
        case RELMEM_xen_l3:
+#if CONFIG_PAGING_LEVELS >= 3
         ret = relinquish_memory(d, &d->xenpage_list, PGT_l3_page_table);
         if ( ret )
             return ret;