ID_TO_TIMER       120 arch/arm/mach-davinci/time.c 		int event_timer = ID_TO_TIMER(timers[TID_CLOCKEVENT].id);
ID_TO_TIMER       230 arch/arm/mach-davinci/time.c 		int timer = ID_TO_TIMER(t->id);
ID_TO_TIMER       357 arch/arm/mach-davinci/time.c 		int event_timer = ID_TO_TIMER(clockevent_id);