}
static irqreturn_t
-ioc_timer_interrupt(int irq, void *dev_id, struct pt_regs *regs)
+ioc_timer_interrupt(int irq, void *dev_id)
{
- write_seqlock(&xtime_lock);
- timer_tick(regs);
- write_sequnlock(&xtime_lock);
+ timer_tick();
return IRQ_HANDLED;
}