ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 20:05:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base-hw: Fix bug in 'thread_resume' syscall.

Browse Source
This commit is contained in:
Martin Stein 2012-11-19 16:26:08 +01:00 committed by Norman Feske
parent b7c1404fbf
commit 1b73f80350
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
base-hw/src/core/kernel.cc
View File

@ -1202,7 +1202,10 @@ namespace Kernel
*/
int resume()
{
assert (_state == AWAIT_RESUMPTION || _state == ACTIVE)
if (_state != AWAIT_RESUMPTION && _state != ACTIVE) {
PDBG("Unexpected thread state");
return -1;
}
cpu_scheduler()->insert(this);
if (_state == ACTIVE) return 1;
_state = ACTIVE;