ts-7500/dist/linux-2.6.24-cavium/arch/sh/kernel/timers
