From 6db91f6db101e0fb72e54149cdb3af8a931da7fe Mon Sep 17 00:00:00 2001
From: Wei Liu <wei.liu2@citrix.com>
Date: Mon, 18 Feb 2013 14:57:59 +0000
Subject: [PATCH] --- yaml --- r: 356937 b: refs/heads/master c:
 18283ea7433c703d3fcce33d189b637a7aaf0a49 h: refs/heads/master i:   356935:
 7a016808a87180df7dbe4ca9d02c156517bf793d v: v3

---
 [refs]                     | 2 +-
 trunk/drivers/xen/evtchn.c | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/[refs] b/[refs]
index 63312662d7fa..577c5cd44213 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 22230c18ab3bb0b997144687fcd9bd6ababa72bd
+refs/heads/master: 18283ea7433c703d3fcce33d189b637a7aaf0a49
diff --git a/trunk/drivers/xen/evtchn.c b/trunk/drivers/xen/evtchn.c
index b1f60a0c0bea..4ebd501f1f80 100644
--- a/trunk/drivers/xen/evtchn.c
+++ b/trunk/drivers/xen/evtchn.c
@@ -534,10 +534,10 @@ static int __init evtchn_init(void)
 
 	spin_lock_init(&port_user_lock);
 
-	/* Create '/dev/misc/evtchn'. */
+	/* Create '/dev/xen/evtchn'. */
 	err = misc_register(&evtchn_miscdev);
 	if (err != 0) {
-		printk(KERN_ALERT "Could not register /dev/misc/evtchn\n");
+		printk(KERN_ERR "Could not register /dev/xen/evtchn\n");
 		return err;
 	}