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

Simple merge