linux-arkmicro/u-boot/arch/x86/dts/tsc_timer.dtsi

/ {
	tsc-timer {
		compatible = "x86,tsc-timer";
		u-boot,dm-pre-reloc;
	};
};