/ {
	tsc-timer {
		compatible = "x86,tsc-timer";
		clock-frequency = <CONFIG_X86_TSC_TIMER_FREQ>;
		bootph-all;
	};
};