static irqreturn_t pxa_ost0_interrupt(int irq, void *dev_id) { struct clock_event_device *c = dev_id; if (!clockevent_ipipe_stolen(c)) pxa_ost0_ack(); __ipipe_tsc_update(); c->event_handler(c); return IRQ_HANDLED; }
static irqreturn_t twd_handler(int irq, void *dev_id) { struct clock_event_device *evt = *(struct clock_event_device **)dev_id; if (clockevent_ipipe_stolen(evt)) goto handle; if (twd_timer_ack()) { handle: __ipipe_tsc_update(); evt->event_handler(evt); return IRQ_HANDLED; } return IRQ_NONE; }