ia64/xen-unstable

changeset 16226:e5a0ed682280

[XEN] Remove dead code.
No vcpu ever runs with guest_table == phys_table any more.
Signed-off-by: Tim Deegan <Tim.Deegan@xensource.com>
author Tim Deegan <Tim.Deegan@xensource.com>
date Thu Oct 25 12:39:22 2007 +0100 (2007-10-25)
parents 5eb7729fcca0
children 168beb9a27a5
files xen/arch/x86/mm/shadow/common.c
line diff
     1.1 --- a/xen/arch/x86/mm/shadow/common.c	Thu Oct 25 11:38:04 2007 +0100
     1.2 +++ b/xen/arch/x86/mm/shadow/common.c	Thu Oct 25 12:39:22 2007 +0100
     1.3 @@ -2762,20 +2762,10 @@ shadow_write_p2m_entry(struct vcpu *v, u
     1.4  
     1.5      /* install P2M in monitors for PAE Xen */
     1.6  #if CONFIG_PAGING_LEVELS == 3
     1.7 -    if ( level == 3 ) {
     1.8 -        struct vcpu *v;
     1.9 +    if ( level == 3 )
    1.10          /* We have written to the p2m l3: need to sync the per-vcpu
    1.11           * copies of it in the monitor tables */
    1.12          p2m_install_entry_in_monitors(d, (l3_pgentry_t *)p);
    1.13 -        /* Also, any vcpus running on shadows of the p2m need to 
    1.14 -         * reload their CR3s so the change propagates to the shadow */
    1.15 -        for_each_vcpu(d, v) {
    1.16 -            if ( pagetable_get_pfn(v->arch.guest_table) 
    1.17 -                 == pagetable_get_pfn(d->arch.phys_table) 
    1.18 -                 && v->arch.paging.mode != NULL )
    1.19 -                v->arch.paging.mode->update_cr3(v, 0);
    1.20 -        }
    1.21 -    }
    1.22  #endif
    1.23  
    1.24  #if (SHADOW_OPTIMIZATIONS & SHOPT_FAST_FAULT_PATH)