167 #define sys_port_trace_k_timer_init(timer)					\  argument
168 	sys_trace_k_timer_init(timer)
169 #define sys_port_trace_k_timer_start(timer, duration, period)			\  argument
170 	sys_trace_k_timer_start(timer, duration, period)
171 #define sys_port_trace_k_timer_stop(timer)					\  argument
172 	sys_trace_k_timer_stop(timer)
173 #define sys_port_trace_k_timer_status_sync_enter(timer)				\  argument
174 	sys_trace_k_timer_status_sync_enter(timer)
175 #define sys_port_trace_k_timer_status_sync_blocking(timer, timeout)		\  argument
176 	sys_trace_k_timer_status_sync_blocking(timer, timeout)
177 #define sys_port_trace_k_timer_status_sync_exit(timer, result)			\  argument
178 	sys_trace_k_timer_status_sync_exit(timer, result)
436 void sys_trace_k_timer_init(struct k_timer *timer);
438 void sys_trace_k_timer_start(struct k_timer *timer, k_timeout_t duration,
440 void sys_trace_k_timer_stop(struct k_timer *timer);
441 void sys_trace_k_timer_status_sync_blocking(struct k_timer *timer, k_timeout_t timeout);
442 void sys_trace_k_timer_status_sync_enter(struct k_timer *timer);
443 void sys_trace_k_timer_status_sync_exit(struct k_timer *timer, uint32_t result);