evtchn.c (7483d45f0aee3afc0646d185cabd4af9f6cab58c) evtchn.c (18283ea7433c703d3fcce33d189b637a7aaf0a49)
1/******************************************************************************
2 * evtchn.c
3 *
4 * Driver for receiving and demuxing event-channel signals.
5 *
6 * Copyright (c) 2004-2005, K A Fraser
7 * Multi-process extensions Copyright (c) 2004, Steven Smith
8 *

--- 520 unchanged lines hidden (view full) ---

529 return -ENODEV;
530
531 port_user = kcalloc(NR_EVENT_CHANNELS, sizeof(*port_user), GFP_KERNEL);
532 if (port_user == NULL)
533 return -ENOMEM;
534
535 spin_lock_init(&port_user_lock);
536
1/******************************************************************************
2 * evtchn.c
3 *
4 * Driver for receiving and demuxing event-channel signals.
5 *
6 * Copyright (c) 2004-2005, K A Fraser
7 * Multi-process extensions Copyright (c) 2004, Steven Smith
8 *

--- 520 unchanged lines hidden (view full) ---

529 return -ENODEV;
530
531 port_user = kcalloc(NR_EVENT_CHANNELS, sizeof(*port_user), GFP_KERNEL);
532 if (port_user == NULL)
533 return -ENOMEM;
534
535 spin_lock_init(&port_user_lock);
536
537 /* Create '/dev/misc/evtchn'. */
537 /* Create '/dev/xen/evtchn'. */
538 err = misc_register(&evtchn_miscdev);
539 if (err != 0) {
538 err = misc_register(&evtchn_miscdev);
539 if (err != 0) {
540 printk(KERN_ALERT "Could not register /dev/misc/evtchn\n");
540 printk(KERN_ERR "Could not register /dev/xen/evtchn\n");
541 return err;
542 }
543
544 printk(KERN_INFO "Event-channel device installed.\n");
545
546 return 0;
547}
548

--- 12 unchanged lines hidden --- 		541 return err;
542 }
543
544 printk(KERN_INFO "Event-channel device installed.\n");
545
546 return 0;
547}
548

--- 12 unchanged lines hidden ---