Symbol: TPM_SC
drivers/clocksource/timer-imx-tpm.c
221
writel(0, timer_base + TPM_SC);
drivers/clocksource/timer-imx-tpm.c
223
writel(TPM_SC_TOF_MASK, timer_base + TPM_SC);
drivers/clocksource/timer-imx-tpm.c
235
timer_base + TPM_SC);