linux/drivers/clocksource/zevio-timer.c