INT_TIMER1
if (request_irq(INT_TIMER1, omap_mpu_timer1_interrupt,
pr_err("Failed to request irq %d (mpu_timer1)\n", INT_TIMER1);