-/* callback: context fetching */
-static xbt_running_ctx_t *_os_thread_get_running_ctx(void)
-{
- return xbt_os_thread_self()->running_ctx;
-}
-
-/* callback: termination */
-static void _os_thread_ex_terminate(xbt_ex_t * e)
-{
- xbt_ex_display(e);
- xbt_abort();
- /* FIXME: there should be a configuration variable to choose to kill everyone or only this one */
-}
-