TPM_C0SC           45 drivers/clocksource/timer-imx-tpm.c 	val = readl(timer_base + TPM_C0SC);
TPM_C0SC           47 drivers/clocksource/timer-imx-tpm.c 	writel(val, timer_base + TPM_C0SC);
TPM_C0SC           55 drivers/clocksource/timer-imx-tpm.c 	val = readl(timer_base + TPM_C0SC);
TPM_C0SC           58 drivers/clocksource/timer-imx-tpm.c 	writel(val, timer_base + TPM_C0SC);
TPM_C0SC          216 drivers/clocksource/timer-imx-tpm.c 	writel(TPM_C0SC_CHF_MASK, timer_base + TPM_C0SC);