-void MSG_process_kill(m_process_t process);
-int MSG_process_killall(int reset_PIDs);
-
-MSG_error_t MSG_process_change_host(m_process_t process, m_host_t host);
-
-void *MSG_process_get_data(m_process_t process);
-MSG_error_t MSG_process_set_data(m_process_t process, void *data);
-m_host_t MSG_process_get_host(m_process_t process);
-m_process_t MSG_process_from_PID(int PID);
-int MSG_process_get_PID(m_process_t process);
-int MSG_process_get_PPID(m_process_t process);
-const char *MSG_process_get_name(m_process_t process);
-int MSG_process_self_PID(void);
-int MSG_process_self_PPID(void);
-m_process_t MSG_process_self(void);
-
-MSG_error_t MSG_process_suspend(m_process_t process);
-MSG_error_t MSG_process_resume(m_process_t process);
-int MSG_process_is_suspended(m_process_t process);
+XBT_PUBLIC(void) MSG_process_kill(m_process_t process);
+XBT_PUBLIC(int) MSG_process_killall(int reset_PIDs);
+
+XBT_PUBLIC(MSG_error_t) MSG_process_change_host(m_process_t process, m_host_t host);
+
+XBT_PUBLIC(void*) MSG_process_get_data(m_process_t process);
+XBT_PUBLIC(MSG_error_t) MSG_process_set_data(m_process_t process, void *data);
+XBT_PUBLIC(m_host_t) MSG_process_get_host(m_process_t process);
+XBT_PUBLIC(m_process_t) MSG_process_from_PID(int PID);
+XBT_PUBLIC(int) MSG_process_get_PID(m_process_t process);
+XBT_PUBLIC(int) MSG_process_get_PPID(m_process_t process);
+XBT_PUBLIC(const char *)MSG_process_get_name(m_process_t process);
+XBT_PUBLIC(int) MSG_process_self_PID(void);
+XBT_PUBLIC(int) MSG_process_self_PPID(void);
+XBT_PUBLIC(m_process_t) MSG_process_self(void);
+
+XBT_PUBLIC(MSG_error_t) MSG_process_suspend(m_process_t process);
+XBT_PUBLIC(MSG_error_t) MSG_process_resume(m_process_t process);
+XBT_PUBLIC(int) MSG_process_is_suspended(m_process_t process);