mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 20:00:23 +00:00
parent
3e8e55ec16
commit
3cb6dba572
@ -359,7 +359,7 @@ extern "C" {
|
||||
global_mutex()->counter--;
|
||||
else {
|
||||
global_mutex()->counter = 0;
|
||||
global_mutex()->thread = 0;
|
||||
global_mutex()->thread = (Genode::Thread_base*)-1;
|
||||
global_mutex()->lock.unlock();
|
||||
}
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user