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);