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()
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()
286 static inline void ctf_top_isr_enter(void)  in ctf_top_isr_enter()
291 static inline void ctf_top_isr_exit(void)  in ctf_top_isr_exit()
296 static inline void ctf_top_isr_exit_to_scheduler(void)  in ctf_top_isr_exit_to_scheduler()
301 static inline void ctf_top_idle(void)  in ctf_top_idle()
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()
335 static inline void ctf_top_semaphore_take_blocking(uint32_t sem_id,  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()
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()
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()
437 static inline void ctf_top_socket_close_enter(int32_t sock)  in ctf_top_socket_close_enter()
442 static inline void ctf_top_socket_close_exit(int32_t sock, int32_t ret)  in ctf_top_socket_close_exit()
447 static inline void ctf_top_socket_shutdown_enter(int32_t sock, int32_t how)  in ctf_top_socket_shutdown_enter()
452 static inline void ctf_top_socket_shutdown_exit(int32_t sock, int32_t ret)  in ctf_top_socket_shutdown_exit()
457 static inline void ctf_top_socket_bind_enter(int32_t sock, ctf_net_bounded_string_t addr,  in ctf_top_socket_bind_enter()
463 static inline void ctf_top_socket_bind_exit(int32_t sock, int32_t ret)  in ctf_top_socket_bind_exit()
468 static inline void ctf_top_socket_connect_enter(int32_t sock,  in ctf_top_socket_connect_enter()
475 static inline void ctf_top_socket_connect_exit(int32_t sock, int32_t ret)  in ctf_top_socket_connect_exit()
480 static inline void ctf_top_socket_listen_enter(int32_t sock, uint32_t backlog)  in ctf_top_socket_listen_enter()
485 static inline void ctf_top_socket_listen_exit(int32_t sock, int32_t ret)  in ctf_top_socket_listen_exit()
490 static inline void ctf_top_socket_accept_enter(int32_t sock)  in ctf_top_socket_accept_enter()
495 static inline void ctf_top_socket_accept_exit(int32_t sock, ctf_net_bounded_string_t addr,  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()
509 static inline void ctf_top_socket_sendto_exit(int32_t sock, int32_t ret)  in ctf_top_socket_sendto_exit()
514 static inline void ctf_top_socket_sendmsg_enter(int32_t sock, uint32_t flags, uint32_t msg,  in ctf_top_socket_sendmsg_enter()
521 static inline void ctf_top_socket_sendmsg_exit(int32_t sock, int32_t ret)  in ctf_top_socket_sendmsg_exit()
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()
533 static inline void ctf_top_socket_recvfrom_exit(int32_t sock, ctf_net_bounded_string_t addr,  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()
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()
556 static inline void ctf_top_socket_fcntl_exit(int32_t sock, int32_t ret)  in ctf_top_socket_fcntl_exit()
561 static inline void ctf_top_socket_ioctl_enter(int32_t sock, uint32_t req)  in ctf_top_socket_ioctl_enter()
566 static inline void ctf_top_socket_ioctl_exit(int32_t sock, int32_t ret)  in ctf_top_socket_ioctl_exit()
571 static inline void ctf_top_socket_poll_enter(uint32_t fds, uint32_t nfds, int32_t timeout)  in ctf_top_socket_poll_enter()
576 static inline void ctf_top_socket_poll_value(int32_t fd, uint16_t flag)  in ctf_top_socket_poll_value()
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()
598 static inline void ctf_top_socket_setsockopt_enter(int32_t sock, uint32_t level, uint32_t optname,  in ctf_top_socket_setsockopt_enter()
605 static inline void ctf_top_socket_setsockopt_exit(int32_t sock, int32_t ret)  in ctf_top_socket_setsockopt_exit()
610 static inline void ctf_top_socket_getpeername_enter(int32_t sock)  in ctf_top_socket_getpeername_enter()
615 static inline void ctf_top_socket_getpeername_exit(int32_t sock, ctf_net_bounded_string_t addr,  in ctf_top_socket_getpeername_exit()
622 static inline void ctf_top_socket_getsockname_enter(int32_t sock)  in ctf_top_socket_getsockname_enter()
627 static inline void ctf_top_socket_getsockname_exit(int32_t sock, ctf_net_bounded_string_t addr,  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()
641 static inline void ctf_top_socket_socketpair_exit(int32_t sock_A, int32_t sock_B, int32_t ret)  in ctf_top_socket_socketpair_exit()
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()
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()
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()
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()
688 static inline void ctf_named_event(ctf_bounded_string_t name, uint32_t arg0,  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()
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()
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()
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()
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()