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()
442 static inline void ctf_top_socket_close_exit(int32_t sock, int32_t ret)  in ctf_top_socket_close_exit()
452 static inline void ctf_top_socket_shutdown_exit(int32_t sock, int32_t ret)  in ctf_top_socket_shutdown_exit()
463 static inline void ctf_top_socket_bind_exit(int32_t sock, int32_t ret)  in ctf_top_socket_bind_exit()
475 static inline void ctf_top_socket_connect_exit(int32_t sock, int32_t ret)  in ctf_top_socket_connect_exit()
485 static inline void ctf_top_socket_listen_exit(int32_t sock, int32_t ret)  in ctf_top_socket_listen_exit()
496 					      uint32_t addrlen, uint16_t port, int32_t ret)  in ctf_top_socket_accept_exit()
509 static inline void ctf_top_socket_sendto_exit(int32_t sock, int32_t ret)  in ctf_top_socket_sendto_exit()
521 static inline void ctf_top_socket_sendmsg_exit(int32_t sock, int32_t ret)  in ctf_top_socket_sendmsg_exit()
534 						uint32_t addrlen, int32_t ret)  in ctf_top_socket_recvfrom_exit()
546 					       ctf_net_bounded_string_t addr, int32_t ret)  in ctf_top_socket_recvmsg_exit()
556 static inline void ctf_top_socket_fcntl_exit(int32_t sock, int32_t ret)  in ctf_top_socket_fcntl_exit()
566 static inline void ctf_top_socket_ioctl_exit(int32_t sock, int32_t ret)  in ctf_top_socket_ioctl_exit()
581 static inline void ctf_top_socket_poll_exit(uint32_t fds, int nfds, int ret)  in ctf_top_socket_poll_exit()
592 						  uint32_t optval, uint32_t optlen, int32_t ret)  in ctf_top_socket_getsockopt_exit()
605 static inline void ctf_top_socket_setsockopt_exit(int32_t sock, int32_t ret)  in ctf_top_socket_setsockopt_exit()
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()
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()
654 					      int32_t ret)  in ctf_top_net_recv_data_exit()
668 					      int32_t ret)  in ctf_top_net_send_data_exit()
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()