- - Drop several unused xbt_os_thread_t functions:
- - xbt_os_thread_exit()
- - xbt_os_thread_get_extra_data()
- - xbt_os_thread_set_extra_data()
- - xbt_os_thread_self()
- - xbt_os_thread_self_name()
- - xbt_os_thread_setstacksize()
- - xbt_os_thread_setguardsize()