318 					  int32_t ret)  in ctf_top_semaphore_init()
343 					       uint32_t timeout, int32_t ret)  in ctf_top_semaphore_take_exit()
360 static inline void ctf_top_mutex_init(uint32_t mutex_id, int32_t ret)  in ctf_top_mutex_init()
379 					   int32_t ret)  in ctf_top_mutex_lock_exit()
390 static inline void ctf_top_mutex_unlock_exit(uint32_t mutex_id, int32_t ret)  in ctf_top_mutex_unlock_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()
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()
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()
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()
545 static inline void ctf_top_socket_recvmsg_exit(int32_t sock, uint32_t len,  in ctf_top_socket_recvmsg_exit()
546 					       ctf_net_bounded_string_t addr, int32_t ret)  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()
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()
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()
616 						   uint32_t addrlen, int32_t ret)  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()
628 						   uint32_t addrlen, int32_t ret)  in ctf_top_socket_getsockname_exit()
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()
654 					      int32_t ret)  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()
668 					      int32_t ret)  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()
704 							     int32_t ret)  in ctf_top_gpio_pin_interrupt_configure_exit()
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()
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()
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()
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()
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()
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()
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()
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()
811 static inline void ctf_top_gpio_add_callback_exit(uint32_t port, int32_t ret)  in ctf_top_gpio_add_callback_exit()
821 static inline void ctf_top_gpio_remove_callback_exit(uint32_t port, int32_t ret)  in ctf_top_gpio_remove_callback_exit()
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()