/* This device is wired through the FPGA IO space of the ATCA blade
* we can't share this IRQ */
result = request_irq(telclk_interrupt, &tlclk_interrupt,
/* This device is wired through the FPGA IO space of the ATCA blade
* we can't share this IRQ */
result = request_irq(telclk_interrupt, &tlclk_interrupt,
val = (unsigned char)tmp;
spin_lock_irqsave(&event_lock, flags);
val = (unsigned char)tmp;
spin_lock_irqsave(&event_lock, flags);
spin_unlock_irqrestore(&event_lock, flags);
return strnlen(buf, count);
spin_unlock_irqrestore(&event_lock, flags);
return strnlen(buf, count);
ret = misc_register(&tlclk_miscdev);
if (ret < 0) {
printk(KERN_ERR "tlclk: misc_register returns %d.\n", ret);
ret = misc_register(&tlclk_miscdev);
if (ret < 0) {
printk(KERN_ERR "tlclk: misc_register returns %d.\n", ret);