# HG changeset patch
# User awilliam@xxxxxxxxxxx
# Node ID 4f03ac87d31be45c95c8ff3d638ef6b059a2fa2c
# Parent 60aa296ccf4ca3a11591bc0bf0559604af10c93b
[IA64] assign_new_domain0_page
map_new_domain0_page() -> assign_new_domain0_page() for consistency
deleted map_domain_page0() declaration
Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>
diff -r 60aa296ccf4c -r 4f03ac87d31b xen/arch/ia64/xen/domain.c
--- a/xen/arch/ia64/xen/domain.c Thu Feb 23 22:40:18 2006
+++ b/xen/arch/ia64/xen/domain.c Fri Feb 24 15:23:33 2006
@@ -63,7 +63,6 @@
extern int readelfimage_base_and_size(char *, unsigned long,
unsigned long *, unsigned long *, unsigned long *);
-unsigned long map_domain_page0(struct domain *);
extern unsigned long dom_fw_setup(struct domain *, char *, int);
static void init_switch_stack(struct vcpu *v);
@@ -381,11 +380,11 @@
}
}
-static struct page * map_new_domain0_page(unsigned long mpaddr)
+static struct page * assign_new_domain0_page(unsigned long mpaddr)
{
if (mpaddr < dom0_start || mpaddr >= dom0_start + dom0_size) {
- printk("map_new_domain0_page: bad domain0 mpaddr %p!\n",mpaddr);
-printk("map_new_domain0_page:
start=%p,end=%p!\n",dom0_start,dom0_start+dom0_size);
+ printk("assign_new_domain0_page: bad domain0 mpaddr
%p!\n",mpaddr);
+printk("assign_new_domain0_page:
start=%p,end=%p!\n",dom0_start,dom0_start+dom0_size);
while(1);
}
return mfn_to_page((mpaddr >> PAGE_SHIFT));
@@ -422,7 +421,7 @@
pte = pte_offset_map(pmd, mpaddr);
if (pte_none(*pte)) {
#ifdef CONFIG_DOMAIN0_CONTIGUOUS
- if (d == dom0) p = map_new_domain0_page(mpaddr);
+ if (d == dom0) p = assign_new_domain0_page(mpaddr);
else
#endif
{
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|
Home