linux/drivers/clocksource/timer-imx-tpm.c