# HG changeset patch
# User Alex Williamson <alex.williamson@hp.com>
# Date 1189112647 21600
# Node ID 192f2df46e67f02695e9ed3a39c1d831562ae6c9
# Parent  e7c143aafbc11cb0c4c2bac11be76e8abf39d953
[IA64] Foreign p2m: make xc_ia64_get_pfn_list() static

Now xc_ia64_get_pfn_list() isn't used anymore.  Make it static.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff -r e7c143aafbc1 -r 192f2df46e67 tools/libxc/ia64/xc_ia64_stubs.c
--- a/tools/libxc/ia64/xc_ia64_stubs.c	Thu Sep 06 15:36:13 2007 -0600
+++ b/tools/libxc/ia64/xc_ia64_stubs.c	Thu Sep 06 15:04:07 2007 -0600
@@ -17,7 +17,7 @@ xc_ia64_fpsr_default(void)
     return FPSR_DEFAULT;
 }
 
-int
+static int
 xc_ia64_get_pfn_list(int xc_handle, uint32_t domid, xen_pfn_t *pfn_buf,
                      unsigned int start_page, unsigned int nr_pages)
 {
diff -r e7c143aafbc1 -r 192f2df46e67 tools/libxc/xenctrl.h
--- a/tools/libxc/xenctrl.h	Thu Sep 06 15:36:13 2007 -0600
+++ b/tools/libxc/xenctrl.h	Thu Sep 06 15:04:07 2007 -0600
@@ -672,10 +672,6 @@ int xc_get_pfn_list(int xc_handle, uint3
 
 unsigned long xc_ia64_fpsr_default(void);
 
-int xc_ia64_get_pfn_list(int xc_handle, uint32_t domid,
-                         xen_pfn_t *pfn_buf,
-                         unsigned int start_page, unsigned int nr_pages);
-
 int xc_copy_to_domain_page(int xc_handle, uint32_t domid,
                            unsigned long dst_pfn, const char *src_page);