85 		const u64 ticks, time64_t *time)  in convert_ticks_to_time()  argument
87 	*time = (u64)div_u64(ticks, priv->timerfreq);  in convert_ticks_to_time()
92 		time64_t time, u64 *ticks)  in convert_time_to_ticks()  argument
98 	if (time > max_value)  in convert_time_to_ticks()
101 	*ticks = (u64)time * (u64)priv->timerfreq;  in convert_time_to_ticks()
190 static struct mpic_timer *get_timer(time64_t time)  in get_timer()  argument
202 		ret = convert_time_to_ticks(priv, time, &ticks);  in get_timer()
286 void mpic_get_remain_time(struct mpic_timer *handle, time64_t *time)  in mpic_get_remain_time()  argument
307 	convert_ticks_to_time(priv, ticks, time);  in mpic_get_remain_time()
358 				      time64_t time)  in mpic_request_timer()  argument
366 	if (time < 0)  in mpic_request_timer()
369 	allocated_timer = get_timer(time);  in mpic_request_timer()