linux/drivers/clocksource/owl-timer.c