TPM_CNT            70 drivers/clocksource/timer-imx-tpm.c 	return readl(timer_base + TPM_CNT);
TPM_CNT           156 drivers/clocksource/timer-imx-tpm.c 	return clocksource_mmio_init(timer_base + TPM_CNT,
TPM_CNT           214 drivers/clocksource/timer-imx-tpm.c 	writel(0, timer_base + TPM_CNT);