55 		const uint32_t tstamp = k_cyc_to_ns_floor64(k_cycle_get_32()); \
195 static inline void ctf_top_thread_switched_out(uint32_t thread_id,  in ctf_top_thread_switched_out()
202 static inline void ctf_top_thread_switched_in(uint32_t thread_id,  in ctf_top_thread_switched_in()
209 static inline void ctf_top_thread_priority_set(uint32_t thread_id, int8_t prio,  in ctf_top_thread_priority_set()
216 static inline void ctf_top_thread_create(uint32_t thread_id, int8_t prio,  in ctf_top_thread_create()
223 static inline void ctf_top_thread_abort(uint32_t thread_id,  in ctf_top_thread_abort()
230 static inline void ctf_top_thread_suspend(uint32_t thread_id,  in ctf_top_thread_suspend()
237 static inline void ctf_top_thread_resume(uint32_t thread_id,  in ctf_top_thread_resume()
244 static inline void ctf_top_thread_ready(uint32_t thread_id,  in ctf_top_thread_ready()
251 static inline void ctf_top_thread_pend(uint32_t thread_id,  in ctf_top_thread_pend()
258 static inline void ctf_top_thread_info(uint32_t thread_id,  in ctf_top_thread_info()
260 				       uint32_t stack_base, uint32_t stack_size)  in ctf_top_thread_info()
266 static inline void ctf_top_thread_name_set(uint32_t thread_id,  in ctf_top_thread_name_set()
274 static inline void ctf_top_thread_user_mode_enter(uint32_t thread_id, ctf_bounded_string_t name)  in ctf_top_thread_user_mode_enter()
280 static inline void ctf_top_thread_wakeup(uint32_t thread_id, ctf_bounded_string_t name)  in ctf_top_thread_wakeup()
306 static inline void ctf_top_void(uint32_t id)  in ctf_top_void()
311 static inline void ctf_top_end_call(uint32_t id)  in ctf_top_end_call()
317 static inline void ctf_top_semaphore_init(uint32_t sem_id,  in ctf_top_semaphore_init()
323 static inline void ctf_top_semaphore_reset(uint32_t sem_id)  in ctf_top_semaphore_reset()
328 static inline void ctf_top_semaphore_take_enter(uint32_t sem_id,  in ctf_top_semaphore_take_enter()
329 						uint32_t timeout)  in ctf_top_semaphore_take_enter()
335 static inline void ctf_top_semaphore_take_blocking(uint32_t sem_id,  in ctf_top_semaphore_take_blocking()
336 						   uint32_t timeout)  in ctf_top_semaphore_take_blocking()
342 static inline void ctf_top_semaphore_take_exit(uint32_t sem_id,  in ctf_top_semaphore_take_exit()
343 					       uint32_t timeout, int32_t ret)  in ctf_top_semaphore_take_exit()
349 static inline void ctf_top_semaphore_give_enter(uint32_t sem_id)  in ctf_top_semaphore_give_enter()
354 static inline void ctf_top_semaphore_give_exit(uint32_t sem_id)  in ctf_top_semaphore_give_exit()
360 static inline void ctf_top_mutex_init(uint32_t mutex_id, int32_t ret)  in ctf_top_mutex_init()
365 static inline void ctf_top_mutex_lock_enter(uint32_t mutex_id, uint32_t timeout)  in ctf_top_mutex_lock_enter()
371 static inline void ctf_top_mutex_lock_blocking(uint32_t mutex_id,  in ctf_top_mutex_lock_blocking()
372 					       uint32_t timeout)  in ctf_top_mutex_lock_blocking()
378 static inline void ctf_top_mutex_lock_exit(uint32_t mutex_id, uint32_t timeout,  in ctf_top_mutex_lock_exit()
385 static inline void ctf_top_mutex_unlock_enter(uint32_t mutex_id)  in ctf_top_mutex_unlock_enter()
390 static inline void ctf_top_mutex_unlock_exit(uint32_t mutex_id, int32_t ret)  in ctf_top_mutex_unlock_exit()
396 static inline void ctf_top_timer_init(uint32_t 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()
406 static inline void ctf_top_timer_stop(uint32_t 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()
416 static inline void ctf_top_timer_status_sync_blocking(uint32_t timer, uint32_t 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()
431 static inline void ctf_top_socket_init(int32_t sock, uint32_t family,  in ctf_top_socket_init()
432 				       uint32_t type, uint32_t proto)  in ctf_top_socket_init()
458 					     uint32_t addrlen, uint16_t port)  in ctf_top_socket_bind_enter()
470 						uint32_t addrlen)  in ctf_top_socket_connect_enter()
480 static inline void ctf_top_socket_listen_enter(int32_t sock, uint32_t backlog)  in ctf_top_socket_listen_enter()
496 					      uint32_t addrlen, uint16_t port, int32_t ret)  in ctf_top_socket_accept_exit()
502 static inline void ctf_top_socket_sendto_enter(int32_t sock, uint32_t len, uint32_t flags,  in ctf_top_socket_sendto_enter()
503 					       ctf_net_bounded_string_t addr, uint32_t addrlen)  in ctf_top_socket_sendto_enter()
514 static inline void ctf_top_socket_sendmsg_enter(int32_t sock, uint32_t flags, uint32_t msg,  in ctf_top_socket_sendmsg_enter()
515 						ctf_net_bounded_string_t addr, uint32_t len)  in ctf_top_socket_sendmsg_enter()
526 static inline void ctf_top_socket_recvfrom_enter(int32_t sock, uint32_t max_len, uint32_t flags,  in ctf_top_socket_recvfrom_enter()
527 						 uint32_t addr, uint32_t addrlen)  in ctf_top_socket_recvfrom_enter()
534 						uint32_t addrlen, int32_t ret)  in ctf_top_socket_recvfrom_exit()
539 static inline void ctf_top_socket_recvmsg_enter(int32_t sock, uint32_t msg, uint32_t max_len,  in ctf_top_socket_recvmsg_enter()
540 						uint32_t flags)  in ctf_top_socket_recvmsg_enter()
545 static inline void ctf_top_socket_recvmsg_exit(int32_t sock, uint32_t len,  in ctf_top_socket_recvmsg_exit()
551 static inline void ctf_top_socket_fcntl_enter(int32_t sock, uint32_t cmd, uint32_t flags)  in ctf_top_socket_fcntl_enter()
561 static inline void ctf_top_socket_ioctl_enter(int32_t sock, uint32_t req)  in ctf_top_socket_ioctl_enter()
571 static inline void ctf_top_socket_poll_enter(uint32_t fds, uint32_t nfds, int32_t timeout)  in ctf_top_socket_poll_enter()
581 static inline void ctf_top_socket_poll_exit(uint32_t fds, int nfds, int ret)  in ctf_top_socket_poll_exit()
586 static inline void ctf_top_socket_getsockopt_enter(int32_t sock, uint32_t level, uint32_t optname)  in ctf_top_socket_getsockopt_enter()
591 static inline void ctf_top_socket_getsockopt_exit(int32_t sock, uint32_t level, uint32_t optname,  in ctf_top_socket_getsockopt_exit()
592 						  uint32_t optval, uint32_t optlen, int32_t ret)  in ctf_top_socket_getsockopt_exit()
598 static inline void ctf_top_socket_setsockopt_enter(int32_t sock, uint32_t level, uint32_t optname,  in ctf_top_socket_setsockopt_enter()
599 						   uint32_t optval, uint32_t optlen)  in ctf_top_socket_setsockopt_enter()
616 						   uint32_t addrlen, int32_t ret)  in ctf_top_socket_getpeername_exit()
628 						   uint32_t addrlen, int32_t ret)  in ctf_top_socket_getsockname_exit()
634 static inline void ctf_top_socket_socketpair_enter(uint32_t family, uint32_t type,  in ctf_top_socket_socketpair_enter()
635 						   uint32_t proto, uint32_t sv)  in ctf_top_socket_socketpair_enter()
646 static inline void ctf_top_net_recv_data_enter(int32_t if_index, uint32_t iface, uint32_t pkt,  in ctf_top_net_recv_data_enter()
647 					       uint32_t len)  in ctf_top_net_recv_data_enter()
653 static inline void ctf_top_net_recv_data_exit(int32_t if_index, uint32_t iface, uint32_t pkt,  in ctf_top_net_recv_data_exit()
660 static inline void ctf_top_net_send_data_enter(int32_t if_index, uint32_t iface, uint32_t pkt,  in ctf_top_net_send_data_enter()
661 					       uint32_t len)  in ctf_top_net_send_data_enter()
667 static inline void ctf_top_net_send_data_exit(int32_t if_index, uint32_t iface, uint32_t pkt,  in ctf_top_net_send_data_exit()
674 static inline void ctf_top_net_rx_time(int32_t if_index, uint32_t iface, uint32_t pkt,  in ctf_top_net_rx_time()
675 				       uint32_t priority, uint32_t tc, uint32_t duration)  in ctf_top_net_rx_time()
681 static inline void ctf_top_net_tx_time(int32_t if_index, uint32_t iface, uint32_t pkt,  in ctf_top_net_tx_time()
682 				       uint32_t priority, uint32_t tc, uint32_t duration)  in ctf_top_net_tx_time()
688 static inline void ctf_named_event(ctf_bounded_string_t name, uint32_t arg0,  in ctf_named_event()
689 				   uint32_t arg1)  in ctf_named_event()
696 static inline void ctf_top_gpio_pin_interrupt_configure_enter(uint32_t port, uint32_t pin,  in ctf_top_gpio_pin_interrupt_configure_enter()
697 							      uint32_t flags)  in ctf_top_gpio_pin_interrupt_configure_enter()
703 static inline void ctf_top_gpio_pin_interrupt_configure_exit(uint32_t port, uint32_t pin,  in ctf_top_gpio_pin_interrupt_configure_exit()
710 static inline void ctf_top_gpio_pin_configure_enter(uint32_t port, uint32_t pin, uint32_t flags)  in ctf_top_gpio_pin_configure_enter()
715 static inline void ctf_top_gpio_pin_configure_exit(uint32_t port, uint32_t pin, int32_t ret)  in ctf_top_gpio_pin_configure_exit()
720 static inline void ctf_top_gpio_port_get_direction_enter(uint32_t port, uint32_t map,  in ctf_top_gpio_port_get_direction_enter()
721 							 uint32_t inputs, uint32_t outputs)  in ctf_top_gpio_port_get_direction_enter()
727 static inline void ctf_top_gpio_port_get_direction_exit(uint32_t port, int32_t ret)  in ctf_top_gpio_port_get_direction_exit()
732 static inline void ctf_top_gpio_pin_get_config_enter(uint32_t port, uint32_t pin, uint32_t flags)  in ctf_top_gpio_pin_get_config_enter()
737 static inline void ctf_top_gpio_pin_get_config_exit(uint32_t port, uint32_t pin, int32_t ret)  in ctf_top_gpio_pin_get_config_exit()
742 static inline void ctf_top_gpio_port_get_raw_enter(uint32_t port, uint32_t value)  in ctf_top_gpio_port_get_raw_enter()
747 static inline void ctf_top_gpio_port_get_raw_exit(uint32_t port, int32_t ret)  in ctf_top_gpio_port_get_raw_exit()
752 static inline void ctf_top_gpio_port_set_masked_raw_enter(uint32_t port, uint32_t mask,  in ctf_top_gpio_port_set_masked_raw_enter()
753 							  uint32_t value)  in ctf_top_gpio_port_set_masked_raw_enter()
759 static inline void ctf_top_gpio_port_set_masked_raw_exit(uint32_t port, int32_t ret)  in ctf_top_gpio_port_set_masked_raw_exit()
764 static inline void ctf_top_gpio_port_set_bits_raw_enter(uint32_t port, uint32_t pins)  in ctf_top_gpio_port_set_bits_raw_enter()
769 static inline void ctf_top_gpio_port_set_bits_raw_exit(uint32_t port, int32_t ret)  in ctf_top_gpio_port_set_bits_raw_exit()
774 static inline void ctf_top_gpio_port_clear_bits_raw_enter(uint32_t port, uint32_t pins)  in ctf_top_gpio_port_clear_bits_raw_enter()
779 static inline void ctf_top_gpio_port_clear_bits_raw_exit(uint32_t port, int32_t ret)  in ctf_top_gpio_port_clear_bits_raw_exit()
784 static inline void ctf_top_gpio_port_toggle_bits_enter(uint32_t port, uint32_t pins)  in ctf_top_gpio_port_toggle_bits_enter()
789 static inline void ctf_top_gpio_port_toggle_bits_exit(uint32_t port, int32_t ret)  in ctf_top_gpio_port_toggle_bits_exit()
794 static inline void ctf_top_gpio_init_callback_enter(uint32_t callback, uint32_t handler,  in ctf_top_gpio_init_callback_enter()
795 						    uint32_t pin_mask)  in ctf_top_gpio_init_callback_enter()
801 static inline void ctf_top_gpio_init_callback_exit(uint32_t callback)  in ctf_top_gpio_init_callback_exit()
806 static inline void ctf_top_gpio_add_callback_enter(uint32_t port, uint32_t callback)  in ctf_top_gpio_add_callback_enter()
811 static inline void ctf_top_gpio_add_callback_exit(uint32_t port, int32_t ret)  in ctf_top_gpio_add_callback_exit()
816 static inline void ctf_top_gpio_remove_callback_enter(uint32_t port, uint32_t callback)  in ctf_top_gpio_remove_callback_enter()
821 static inline void ctf_top_gpio_remove_callback_exit(uint32_t port, int32_t ret)  in ctf_top_gpio_remove_callback_exit()
826 static inline void ctf_top_gpio_get_pending_int_enter(uint32_t dev)  in ctf_top_gpio_get_pending_int_enter()
831 static inline void ctf_top_gpio_get_pending_int_exit(uint32_t dev, int32_t ret)  in ctf_top_gpio_get_pending_int_exit()
836 static inline void ctf_top_gpio_fire_callbacks_enter(uint32_t list, uint32_t port, uint32_t pins)  in ctf_top_gpio_fire_callbacks_enter()
841 static inline void ctf_top_gpio_fire_callback(uint32_t port, uint32_t cb)  in ctf_top_gpio_fire_callback()