/* 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);