ia64/xen-unstable

changeset 8572:1c186b28289b

map_domain_page per-vcpu cache still seems broken. Disable
while I fix it.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Wed Jan 11 20:03:53 2006 +0100 (2006-01-11)
parents b7e88c83b2a0
children 1e1107e3d894
files xen/arch/x86/x86_32/domain_page.c
line diff
     1.1 --- a/xen/arch/x86/x86_32/domain_page.c	Wed Jan 11 19:44:54 2006 +0100
     1.2 +++ b/xen/arch/x86/x86_32/domain_page.c	Wed Jan 11 20:03:53 2006 +0100
     1.3 @@ -40,6 +40,7 @@ void *map_domain_page(unsigned long pfn)
     1.4      cache = &d->arch.mapcache;
     1.5  
     1.6      hashent = &cache->vcpu_maphash[vcpu].hash[MAPHASH_HASHFN(pfn)];
     1.7 +#if 0
     1.8      if ( hashent->pfn == pfn )
     1.9      {
    1.10          idx = hashent->idx;
    1.11 @@ -48,6 +49,7 @@ void *map_domain_page(unsigned long pfn)
    1.12          ASSERT(l1e_get_pfn(cache->l1tab[idx]) == pfn);
    1.13          goto out;
    1.14      }
    1.15 +#endif
    1.16  
    1.17      spin_lock(&cache->lock);
    1.18  
    1.19 @@ -90,7 +92,7 @@ void *map_domain_page(unsigned long pfn)
    1.20  
    1.21      cache->l1tab[idx] = l1e_from_pfn(pfn, __PAGE_HYPERVISOR);
    1.22  
    1.23 - out:
    1.24 +/*out:*/
    1.25      va = MAPCACHE_VIRT_START + (idx << PAGE_SHIFT);
    1.26      return (void *)va;
    1.27  }