From 77622d85cf3fd61e96b71750d75af58b60eddfc4 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 4 Jun 2010 10:46:32 +0100 Subject: [PATCH] libxc: Remove obsolete xc_find_device_number() declaration. Signed-off-by: Keir Fraser --- tools/libxc/xc_minios.c | 6 ------ tools/libxc/xenctrl.h | 10 ---------- 2 files changed, 16 deletions(-) diff --git a/tools/libxc/xc_minios.c b/tools/libxc/xc_minios.c index 02408227cd..40d2096930 100644 --- 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 b171d0832b..4bcf29d979 100644 --- 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 */ -- 2.30.2