xen/evtchn: Fix name of Xen event-channel device
authorBastian Blank <waldi@debian.org>
Fri, 28 May 2010 22:43:49 +0000 (15:43 -0700)
committerJeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Fri, 28 May 2010 22:43:49 +0000 (15:43 -0700)
The Xen event-channel device is named evtchn in the kernel but always
used as /dev/xen/evtchn in userspace. This patch fixes the name.

Signed-off-by: Bastian Blank <waldi@debian.org>
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
drivers/xen/evtchn.c

index 6a3a12945d0216f1191f1ac1730b09c3ebfc8dec..68119f6324d48e4eff42b01fdee3fcdb872c9908 100644 (file)
@@ -517,7 +517,7 @@ static const struct file_operations evtchn_fops = {
 
 static struct miscdevice evtchn_miscdev = {
        .minor        = MISC_DYNAMIC_MINOR,
-       .name         = "evtchn",
+       .name         = "xen/evtchn",
        .fops         = &evtchn_fops,
 };
 static int __init evtchn_init(void)