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

vbox6: check for pending IRQs in sup_vcpu

Browse Source 
Issue #4313
This commit is contained in:
Christian Helmuth 2021-10-19 10:09:31 +02:00
parent 00eadf9791
commit 5a21431c31
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/ports/src/virtualbox6/sup_vcpu.cc
View File

@ -385,6 +385,9 @@ template <typename T> bool Sup::Vcpu_impl<T>::_check_and_request_irq_window()
{
PVMCPU pVCpu = &_vmcpu;
if (VMCPU_FF_TEST_AND_CLEAR(pVCpu, VMCPU_FF_UPDATE_APIC))
APICUpdatePendingInterrupts(pVCpu);
if (VMCPU_FF_IS_SET(pVCpu, VMCPU_FF_INHIBIT_INTERRUPTS))
return false;