libxc: Remove obsolete xc_find_device_number() declaration.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/tools/libxc/xc_minios.c b/tools/libxc/xc_minios.c
index 02408227cdcaeb9af43021a0e0533177e1719257..40d2096930042a89ba2de77555a378d2f2d0151b 100644 (file)
--- a/tools/libxc/xc_minios.c
+++ b/tools/libxc/xc_minios.c
@@ -152,12 +152,6 @@ int do_xen_hypercall(xc_interface *xch, privcmd_hypercall_t *hypercall)
     return call.result;
 }
 
-int xc_find_device_number(const char *name)
-{
-    printf("xc_find_device_number(%s)\n", name);
-    do_exit();
-}
-
 int xc_evtchn_open(void)
 {
     int fd = alloc_fd(FTYPE_EVTCHN), i;

diff --git a/tools/libxc/xenctrl.h b/tools/libxc/xenctrl.h
index b171d0832b5fd8b50d97a9edf6c2e16fd1517502..4bcf29d979d60653082a65935b610c28d71df7ac 100644 (file)
--- a/tools/libxc/xenctrl.h
+++ b/tools/libxc/xenctrl.h
@@ -134,16 +134,6 @@ enum xc_open_flags {
  */
 int xc_interface_close(xc_interface *xch);
 
-/*
- * KERNEL INTERFACES
- */
-
-/*
- * Resolve a kernel device name (e.g., "evtchn", "blktap0") into a kernel
- * device number. Returns -1 on error (and sets errno).
- */
-int xc_find_device_number(const char *name);
-
 /*
  * DOMAIN DEBUGGING FUNCTIONS
  */