linux/drivers/clocksource
..