458 					     uint32_t addrlen, uint16_t port)  in ctf_top_socket_bind_enter()
496 					      uint32_t addrlen, uint16_t port, int32_t ret)  in ctf_top_socket_accept_exit()
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()
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()
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()