correct calls to mutex sys_calls