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);