tpm_read_counter   75 drivers/clocksource/timer-imx-tpm.c 	return tpm_read_counter();
tpm_read_counter   80 drivers/clocksource/timer-imx-tpm.c 	return tpm_read_counter();
tpm_read_counter   88 drivers/clocksource/timer-imx-tpm.c 	next = tpm_read_counter();
tpm_read_counter   91 drivers/clocksource/timer-imx-tpm.c 	now = tpm_read_counter();