linux/drivers/clocksource/timer-ti-32k.c