linux/drivers/clocksource/timer-realtek.c