sirfsoc_timer_interrupt   70 drivers/clocksource/timer-atlas7.c static irqreturn_t sirfsoc_timer_interrupt(int irq, void *dev_id)
sirfsoc_timer_interrupt   58 drivers/clocksource/timer-prima2.c static irqreturn_t sirfsoc_timer_interrupt(int irq, void *dev_id)