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

vbox5-nova: document possible 'Blocking_canceled' exception

Browse Source 
Fixes #3664
This commit is contained in:
Christian Prochaska 2020-02-25 15:40:11 +01:00 committed by Christian Helmuth
parent c3fb81d1a1
commit 434c9ceb5d
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/ports/src/virtualbox5/spec/nova/vcpu.h
View File

@ -890,6 +890,12 @@ class Vcpu_handler : public Vmm::Vcpu_dispatcher<Genode::Thread>,
void wake_up()
{
/*
* Note: the following 'SEMAPHORE_UP' call can cause a
* 'Blocking_canceled' exception in the target thread
* if it is currently blocking on a Genode lock, because
* the same NOVA semaphore is used.
*/
Genode::addr_t sem = native_thread().exc_pt_sel + Nova::SM_SEL_EC;
Nova::sm_ctrl(sem, Nova::SEMAPHORE_UP);
}