#include "xbt/xbt_os_time.h" /* Portable time facilities */
#include "xbt/xbt_os_thread.h" /* This module */
#include "xbt/xbt_os_time.h" /* Portable time facilities */
#include "xbt/xbt_os_thread.h" /* This module */
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync_os, xbt,
"Synchronization mechanism (OS-level)");
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync_os, xbt,
"Synchronization mechanism (OS-level)");
main_thread->name = (char *) "main";
main_thread->start_routine = NULL;
main_thread->param = NULL;
main_thread->name = (char *) "main";
main_thread->start_routine = NULL;
main_thread->param = NULL;