/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include "private.h"
+#include "smx_private.h"
#include "xbt/log.h"
smx_process_t issuer, smx_req_t req);
static void _SIMIX_sem_wait(smx_sem_t sem, double timeout, smx_process_t issuer,
smx_req_t req);
-static void SIMIX_sem_block_onto(smx_sem_t sem);
/***************************** Synchro action *********************************/