ia64/xen-unstable

changeset 7111:ce54669c70fc

Remove broken assertion in 64-bit shadow pagetable code.
author kaf24@firebug.cl.cam.ac.uk
date Wed Sep 28 16:15:20 2005 +0100 (2005-09-28)
parents ca78d9668fdb
children 9e0b6fbab872
files xen/arch/x86/shadow_public.c
line diff
     1.1 --- a/xen/arch/x86/shadow_public.c	Wed Sep 28 15:06:48 2005 +0100
     1.2 +++ b/xen/arch/x86/shadow_public.c	Wed Sep 28 16:15:20 2005 +0100
     1.3 @@ -256,7 +256,6 @@ void free_monitor_pagetable(struct vcpu 
     1.4  {
     1.5      unsigned long mfn;
     1.6  
     1.7 -    ASSERT( pagetable_val(v->arch.monitor_table) );
     1.8      /*
     1.9       * free monitor_table.
    1.10       * Note: for VMX guest, only BSP need do this free.