|
@@ -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;
|
|
|
}
|
|
|
|