linux/drivers/clocksource/sunxi_timer.c