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

[Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>]

On Thu, May 27, 2010 at 05:02:51PM +0200, 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.

Hey Bastian,

Is this related to this bug:
http://bugzilla.xensource.com/bugzilla/show_bug.cgi?id=1612 ?

I saw it in some reference to the evtchn but wasn't sure if this is the
same.

> 
> 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",
>  	.fops         = &evtchn_fops,
>  };
>  static int __init evtchn_init(void)
> -- 
> Yes, it is written.  Good shall always destroy evil.
> 		-- Sirah the Yang, "The Omega Glory", stardate unknown
> 
> _______________________________________________
> Xen-devel mailing list
> Xen-devel@lists.xensource.com
> http://lists.xensource.com/xen-devel