TPM_CNT
return clocksource_mmio_init(timer_base + TPM_CNT,
writel(0, timer_base + TPM_CNT);
return readl(timer_base + TPM_CNT);