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