…
..
allwinner,sun4i-timer.txt
arm,sp804.txt
brcm,bcm2835-system-timer.txt
cadence,ttc-timer.txt
fsl,imxgpt.txt
marvell,armada-370-xp-timer.txt
nvidia,tegra20-timer.txt
nvidia,tegra30-timer.txt
samsung,exynos4210-mct.txt