ia64/xen-unstable
changeset 18731:9bbb54fd9181
Constify arguments to unmap_domain_page() etc.
Signed-off-by: Jan Beulich <jbeulich@novell.com>
Signed-off-by: Jan Beulich <jbeulich@novell.com>
author | Keir Fraser <keir.fraser@citrix.com> |
---|---|
date | Mon Oct 27 13:27:33 2008 +0000 (2008-10-27) |
parents | 604ffa3cdcc4 |
children | 4413d53a8320 |
files | xen/arch/x86/x86_32/domain_page.c xen/include/xen/domain_page.h |
line diff
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;