linux/drivers/clocksource/timer-rtl-otto.c