TPM_SC            211 drivers/clocksource/timer-imx-tpm.c 	writel(0, timer_base + TPM_SC);
TPM_SC            213 drivers/clocksource/timer-imx-tpm.c 	writel(TPM_SC_TOF_MASK, timer_base + TPM_SC);
TPM_SC            225 drivers/clocksource/timer-imx-tpm.c 		timer_base + TPM_SC);