1 2 3 4 5 6 7
/ { tsc-timer { compatible = "x86,tsc-timer"; clock-frequency = <CONFIG_X86_TSC_TIMER_FREQ>; bootph-all; }; };