XBT_PUBLIC(void) amok_pm_mainloop(double timeOut);
XBT_PUBLIC(void) amok_pm_kill_hp(char *name, int port);
-XBT_PUBLIC(void) amok_pm_kill(gras_socket_t buddy);
-XBT_PUBLIC(void) amok_pm_kill_sync(gras_socket_t buddy);
+XBT_PUBLIC(void) amok_pm_kill(xbt_socket_t buddy);
+XBT_PUBLIC(void) amok_pm_kill_sync(xbt_socket_t buddy);
XBT_PUBLIC(xbt_dynar_t) amok_pm_group_new(const char *group_name);
-XBT_PUBLIC(xbt_dynar_t) amok_pm_group_get(gras_socket_t master,
+XBT_PUBLIC(xbt_dynar_t) amok_pm_group_get(xbt_socket_t master,
const char *group_name);
-XBT_PUBLIC(int) amok_pm_group_join(gras_socket_t master,
+XBT_PUBLIC(int) amok_pm_group_join(xbt_socket_t master,
const char *group_name);
-XBT_PUBLIC(void) amok_pm_group_leave(gras_socket_t master,
+XBT_PUBLIC(void) amok_pm_group_leave(xbt_socket_t master,
const char *group_name);
XBT_PUBLIC(void) amok_pm_group_shutdown(const char *group_name);
-XBT_PUBLIC(void) amok_pm_group_shutdown_remote(gras_socket_t master,
+XBT_PUBLIC(void) amok_pm_group_shutdown_remote(xbt_socket_t master,
const char *group_name);
/** @} */
-#endif /* AMOK_peer_MANAGEMENT_H */
+#endif /* AMOK_peer_MANAGEMENT_H */