1.1 --- a/xen/arch/x86/x86_32/domain_page.c	Mon Oct 27 13:26:50 2008 +0000
     1.2 +++ b/xen/arch/x86/x86_32/domain_page.c	Mon Oct 27 13:27:33 2008 +0000
     1.3 @@ -114,7 +114,7 @@ void *map_domain_page(unsigned long mfn)
     1.4      return (void *)va;
     1.5  }
     1.6  
     1.7 -void unmap_domain_page(void *va)
     1.8 +void unmap_domain_page(const void *va)
     1.9  {
    1.10      unsigned int idx;
    1.11      struct vcpu *v;
    1.12 @@ -241,7 +241,7 @@ void *map_domain_page_global(unsigned lo
    1.13      return (void *)va;
    1.14  }
    1.15  
    1.16 -void unmap_domain_page_global(void *va)
    1.17 +void unmap_domain_page_global(const void *va)
    1.18  {
    1.19      unsigned long __va = (unsigned long)va;
    1.20      l2_pgentry_t *pl2e;

     2.1 --- a/xen/include/xen/domain_page.h	Mon Oct 27 13:26:50 2008 +0000
     2.2 +++ b/xen/include/xen/domain_page.h	Mon Oct 27 13:27:33 2008 +0000
     2.3 @@ -24,7 +24,7 @@ void *map_domain_page(unsigned long mfn)
     2.4   * Pass a VA within a page previously mapped in the context of the
     2.5   * currently-executing VCPU via a call to map_domain_page().
     2.6   */
     2.7 -void unmap_domain_page(void *va);
     2.8 +void unmap_domain_page(const void *va);
     2.9  
    2.10  /*
    2.11   * Similar to the above calls, except the mapping is accessible in all
    2.12 @@ -32,7 +32,7 @@ void unmap_domain_page(void *va);
    2.13   * mappings can also be unmapped from any context.
    2.14   */
    2.15  void *map_domain_page_global(unsigned long mfn);
    2.16 -void unmap_domain_page_global(void *va);
    2.17 +void unmap_domain_page_global(const void *va);
    2.18  
    2.19  #define DMCACHE_ENTRY_VALID 1U
    2.20  #define DMCACHE_ENTRY_HELD  2U
    2.21 @@ -75,7 +75,7 @@ map_domain_page_with_cache(unsigned long
    2.22  }
    2.23  
    2.24  static inline void
    2.25 -unmap_domain_page_with_cache(void *va, struct domain_mmap_cache *cache)
    2.26 +unmap_domain_page_with_cache(const void *va, struct domain_mmap_cache *cache)
    2.27  {
    2.28      ASSERT(cache != NULL);
    2.29      cache->flags &= ~DMCACHE_ENTRY_HELD;