| commit | 376d908f52427591cef4acd172db9c3ef28676ec | [log] [tgz] |
|---|---|---|
| author | Bastian Blank <waldi@debian.org> | Fri May 28 15:43:49 2010 -0700 |
| committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | Fri May 28 15:43:49 2010 -0700 |
| tree | 53e5c53c588b34eb8bd9c73391c38ed62600b3a4 | |
| parent | 3f5e554f669098c84c82ce75e7577f7e0f3fccde [diff] |
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>