drivers/clocksource/timer-imx-tpm.c

1 // SPDX-License-Identifier: GPL-2.0+
13 #include "timer-of.h"
107 	return (now - prev) >= delta ? -ETIME : 0;  in tpm_set_next_event()
130 	evt->event_handler(evt);  in tpm_timer_interrupt()
138 		.name			= "i.MX TPM Timer",
167 				     "imx-tpm",  in tpm_clocksource_init()
179 					GENMASK(counter_width - 1,  in tpm_clockevent_init()
190 		pr_err("tpm: failed to get ipg clk\n");  in tpm_timer_init()
191 		return -ENODEV;  in tpm_timer_init()
196 		pr_err("tpm: ipg clock enable failed (%d)\n", ret);  in tpm_timer_init()
209 	/* use rating 200 for 32-bit counter and 150 for 16-bit counter */  in tpm_timer_init()
213 	 * Initialize tpm module to a known state  in tpm_timer_init()
215 	 * 2) TPM counter operates in up counting mode  in tpm_timer_init()
230 	 * div 8 for 32-bit counter and div 128 for 16-bit counter  in tpm_timer_init()
238 	writel(GENMASK(counter_width - 1, 0), timer_base + TPM_MOD);  in tpm_timer_init()
244 TIMER_OF_DECLARE(imx7ulp, "fsl,imx7ulp-tpm", tpm_timer_init);