ia64/xen-unstable

diff xen/arch/x86/vmx.c @ 6766:219d96d545fc

merge?
author cl349@firebug.cl.cam.ac.uk
date Mon Sep 12 20:00:41 2005 +0000 (2005-09-12)
parents 3feb7fa331ed 888094e5ac07
children 4d899a738d59 8ca0f98ba8e2
line diff
     1.1 --- a/xen/arch/x86/vmx.c	Mon Sep 12 19:59:40 2005 +0000
     1.2 +++ b/xen/arch/x86/vmx.c	Mon Sep 12 20:00:41 2005 +0000
     1.3 @@ -1082,11 +1082,6 @@ static int vmx_set_cr0(unsigned long val
     1.4              VMX_DBG_LOG(DBG_LEVEL_1, "enable PAE on cr4\n");
     1.5              __vmwrite(GUEST_CR4, crn | X86_CR4_PAE);
     1.6          }
     1.7 -#elif defined( __i386__)
     1.8 -        unsigned long old_base_mfn;
     1.9 -        old_base_mfn = pagetable_get_pfn(d->arch.guest_table);
    1.10 -        if (old_base_mfn)
    1.11 -            put_page(pfn_to_page(old_base_mfn));
    1.12  #endif
    1.13          /*
    1.14           * Now arch.guest_table points to machine physical.