/dev/misc/evtchn , /dev/xen/evtchn and the event channel driver : a little question

[Mark Ryden <markryde@gmail.com>]

Hello,
   This is something I do not understand : I have a version of
xen-unstable from
a few days ago. (I am using the default "make world"  and make
install, which means 2.6.* versions; and I run it on x386).

 I had looked at the code of evtchn.c (/drivers/xen/evtchn in the sparse tree).

I see there:

err = misc_register(&evtchn_miscdev);
	if (err != 0)
	   {
	   printk(KERN_ALERT "Could not register /dev/misc/evtchn\n");
	  return err;
         }

and also:
static struct miscdevice evtchn_miscdev = {
	.minor        = EVTCHN_MINOR,
	.name         = "evtchn",
	.fops         = &evtchn_fops,
#if LINUX_VERSION_CODE >= KERNEL_VERSION(2,6,0)
	.devfs_name   = "misc/evtchn",
#endif
};

I had booted Xen (domain 0).

But I do not have /dev/misc/evtchn !
(as ls /dev/misc/evtchn shows).
On the other hand I *DO* have /dev/xen/evtchn and it seems to me that
other modules in tools use /dev/xen/evtchn and not /dev/misc/evtchn.

What is the truth behind this mystery ?

TIA,
MR