396 static inline void ctf_top_timer_init(uint32_t timer)  in ctf_top_timer_init()  argument
398 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_TIMER_INIT), timer);  in ctf_top_timer_init()
401 static inline void ctf_top_timer_start(uint32_t timer, uint32_t duration, uint32_t period)  in ctf_top_timer_start()  argument
403 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_TIMER_START), timer, duration, period);  in ctf_top_timer_start()
406 static inline void ctf_top_timer_stop(uint32_t timer)  in ctf_top_timer_stop()  argument
408 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_TIMER_STOP), timer);  in ctf_top_timer_stop()
411 static inline void ctf_top_timer_status_sync_enter(uint32_t timer)  in ctf_top_timer_status_sync_enter()  argument
413 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_TIMER_STATUS_SYNC_ENTER), timer);  in ctf_top_timer_status_sync_enter()
416 static inline void ctf_top_timer_status_sync_blocking(uint32_t timer, uint32_t timeout)  in ctf_top_timer_status_sync_blocking()  argument
418 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_TIMER_STATUS_SYNC_BLOCKING), timer, timeout);  in ctf_top_timer_status_sync_blocking()
421 static inline void ctf_top_timer_status_sync_exit(uint32_t timer, uint32_t result)  in ctf_top_timer_status_sync_exit()  argument
423 	CTF_EVENT(CTF_LITERAL(uint8_t, CTF_EVENT_TIMER_STATUS_SYNC_EXIT), timer, result);  in ctf_top_timer_status_sync_exit()