linux/drivers/clocksource/clps711x-timer.c