Symbol: INT_OS_TIMER
arch/arm/mach-omap1/timer32k.c
151
if (request_irq(INT_OS_TIMER, omap_32k_timer_interrupt,
arch/arm/mach-omap1/timer32k.c
153
pr_err("Failed to request irq %d(32KHz timer)\n", INT_OS_TIMER);