-void xbt_os_mutex_lock(xbt_os_mutex_t mutex){
- xbt_backtrace_display();
- xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_mutex_lock)");
+void xbt_os_mutex_acquire(xbt_os_mutex_t mutex){
+ xbt_backtrace_display_current();
+ xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_mutex_acquire)");