mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-20 17:11:45 +00:00
parent
39d23b4f6c
commit
5a8a38dbf4
@ -85,6 +85,8 @@ Cpu_context::Cpu_context(Cpu &cpu,
|
||||
|
||||
Cpu_context::~Cpu_context()
|
||||
{
|
||||
assert(_cpu().id() == Cpu::executing_id() ||
|
||||
&_cpu().current_context() != this);
|
||||
_cpu().scheduler().remove(*this);
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user