c0_compare_interrupt
irqreturn_t c0_compare_interrupt(int, void *);
if (request_irq(irq, c0_compare_interrupt, flags, "timer",
c0_compare_interrupt))
WARN_ON(request_percpu_irq(irq, c0_compare_interrupt,