omap_irq_pending
if (omap_irq_pending() || need_resched())
if (omap_irq_pending())
int omap_irq_pending(void);