ia64/xen-unstable

changeset 13736:c440813cc572

[XEN] 32on64 fix compat page table shutdown
When releasing the guest page table, do not clobber the xen private
L4 page pointer which is managed by setup/release_compat_l4.

Signed-off-by: Emmanuel Ackaouy <ack@xensource.com>
author Emmanuel Ackaouy <ack@xensource.com>
date Tue Jan 30 12:33:43 2007 +0000 (2007-01-30)
parents b9febab4c6cb
children 4bef31174332
files xen/arch/x86/domain.c
line diff
     1.1 --- a/xen/arch/x86/domain.c	Tue Jan 30 12:31:20 2007 +0000
     1.2 +++ b/xen/arch/x86/domain.c	Tue Jan 30 12:33:43 2007 +0000
     1.3 @@ -1412,7 +1412,13 @@ static void vcpu_destroy_pagetables(stru
     1.4                  put_page_and_type(mfn_to_page(pfn));
     1.5          }
     1.6  
     1.7 -        v->arch.guest_table = pagetable_null();
     1.8 +        if ( is_hvm_vcpu(v) )
     1.9 +            v->arch.guest_table = pagetable_null();
    1.10 +        else
    1.11 +            l4e_write(
    1.12 +                (l4_pgentry_t *) __va(pagetable_get_paddr(v->arch.guest_table)),
    1.13 +                l4e_empty());
    1.14 +
    1.15          v->arch.cr3 = 0;
    1.16          return;
    1.17      }