ia64/xen-unstable

changeset 15855:f8e7f06b351c

x86/32: Fix domain_relinquish_resources().
Fixes a host crash on preempted domain_kill().
Signed-off-by: Keir Fraser <keir@xensource.com>
author kfraser@localhost.localdomain
date Fri Sep 07 19:53:57 2007 +0100 (2007-09-07)
parents 9071521d4864
children a53aaea4c698
files xen/arch/x86/domain.c
line diff
     1.1 --- a/xen/arch/x86/domain.c	Fri Sep 07 11:39:10 2007 +0100
     1.2 +++ b/xen/arch/x86/domain.c	Fri Sep 07 19:53:57 2007 +0100
     1.3 @@ -1761,8 +1761,8 @@ int domain_relinquish_resources(struct d
     1.4          /* fallthrough */
     1.5  
     1.6          /* Relinquish every page of memory. */
     1.7 +    case RELMEM_xen_l4:
     1.8  #if CONFIG_PAGING_LEVELS >= 4
     1.9 -    case RELMEM_xen_l4:
    1.10          ret = relinquish_memory(d, &d->xenpage_list, PGT_l4_page_table);
    1.11          if ( ret )
    1.12              return ret;
    1.13 @@ -1776,8 +1776,8 @@ int domain_relinquish_resources(struct d
    1.14          /* fallthrough */
    1.15  #endif
    1.16  
    1.17 +	case RELMEM_xen_l3:
    1.18  #if CONFIG_PAGING_LEVELS >= 3
    1.19 -	case RELMEM_xen_l3:
    1.20          ret = relinquish_memory(d, &d->xenpage_list, PGT_l3_page_table);
    1.21          if ( ret )
    1.22              return ret;