Re: [PATCH] Fix name of Xen event-channel device

[Michael Tokarev <mjt@tls.msk.ru>]

Bastian Blank wrote:
> 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>
> 
> diff --git a/drivers/xen/evtchn.c b/drivers/xen/evtchn.c
> index 66e185c..89cd743 100644
> --- a/drivers/xen/evtchn.c
> +++ b/drivers/xen/evtchn.c
> @@ -471,7 +471,7 @@ static const struct file_operations evtchn_fops = {
>  
>  static struct miscdevice evtchn_miscdev = {
>  	.minor        = MISC_DYNAMIC_MINOR,
> -	.name         = "evtchn",
> +	.name         = "xen/evtchn",

Um.  Will existing userspace - esp. udev rules - continue
to work after this change?  Also, how about other xen-related
devices which are moved to /dev/xen in that same udev rules?

Thanks!

/mjt