int xbt_os_thread_atfork(void (*prepare)(void),
void (*parent)(void), void (*child)(void))
{
int xbt_os_thread_atfork(void (*prepare)(void),
void (*parent)(void), void (*child)(void))
{
THROWF(system_error, errcode,
"pthread_setspecific failed for xbt_self_thread_key");
THROWF(system_error, errcode,
"pthread_setspecific failed for xbt_self_thread_key");