-void xbt_socket_new(int incoming,
- xbt_socket_t* dst);
-void xbt_socket_new_ext(int incoming,
- xbt_socket_t* dst,
- xbt_trp_plugin_t plugin,
- unsigned long int buf_size,
- int measurement);
-XBT_INLINE void* xbt_socket_get_data(xbt_socket_t sock);
-XBT_INLINE void xbt_socket_set_data(xbt_socket_t sock, void* data);
+XBT_PUBLIC(void) xbt_socket_new(int incoming, xbt_socket_t* dst);
+XBT_PUBLIC(void) xbt_socket_new_ext(int incoming,
+ xbt_socket_t* dst,
+ xbt_trp_plugin_t plugin,
+ unsigned long int buf_size,
+ int measurement);
+XBT_PUBLIC(void*) xbt_socket_get_data(xbt_socket_t sock);
+XBT_PUBLIC(void) xbt_socket_set_data(xbt_socket_t sock, void* data);