ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 18:56:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

monitor: handle Monitored_thread case in kill_thread()

Browse Source 
Fixes #4934
This commit is contained in:
Christian Prochaska 2023-06-26 12:44:06 +02:00 committed by Norman Feske
parent 8264b63e0b
commit 59ce64b638
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
repos/os/src/monitor/inferior_cpu.h
View File

@ -73,8 +73,16 @@ struct Monitor::Inferior_cpu : Monitored_cpu_session
return result;
}
void kill_thread(Thread_capability thread) override {
_real.call<Rpc_kill_thread>(thread); }
void kill_thread(Thread_capability thread) override
{
Monitored_thread::with_thread(_ep, thread,
[&] (Monitored_thread &monitored_thread) {
_real.call<Rpc_kill_thread>(monitored_thread._real);
destroy(_alloc, &monitored_thread); },
[&] {
_real.call<Rpc_kill_thread>(thread); }
);
}
void exception_sigh(Signal_context_capability sigh) override {
_real.call<Rpc_exception_sigh>(sigh); }