mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
base: beautify error message if not mutex owner
This commit is contained in:
committed by
Christian Helmuth
parent
9b5840cb70
commit
fb7282f47a
@@ -29,7 +29,7 @@ void Genode::Mutex::release()
|
||||
{
|
||||
Lock::Applicant myself(Thread::myself());
|
||||
if (!_lock.lock_owner(myself)) {
|
||||
Genode::error("denied non mutex owner the release, mutex=",
|
||||
Genode::error("release denied, caller not owner, mutex=",
|
||||
this, ", return ip=", __builtin_return_address(0));
|
||||
return;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user