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)
commit376d908f52427591cef4acd172db9c3ef28676ec
tree53e5c53c588b34eb8bd9c73391c38ed62600b3a4
parent3f5e554f669098c84c82ce75e7577f7e0f3fccde
xen/evtchn: Fix name of Xen event-channel device

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