libxc: Use privcmd device on Linux
diff -r fd8e02fbcbfa -r ecf68e8d92f7 tools/libxc/xc_linux_osdep.c
--- a/tools/libxc/xc_linux_osdep.c Sat Dec 10 16:40:31 2011 +0100
+++ b/tools/libxc/xc_linux_osdep.c Sat Dec 10 16:40:51 2011 +0100
@@ -45,7 +45,11 @@
static xc_osdep_handle linux_privcmd_open(xc_interface *xch)
{
int flags, saved_errno;
- int fd = open("/proc/xen/privcmd", O_RDWR);
+ int fd;
+
+ fd = open("/dev/xen/privcmd", O_RDWR);
+ if ( fd == -1 && errno == ENOENT )
+ fd = open("/proc/xen/privcmd", O_RDWR);
if ( fd == -1 )
{
--
Murder is contrary to the laws of man and God.
-- M-5 Computer, "The Ultimate Computer", stardate 4731.3