From 5a21431c31be03e2a89d7917082c0e5e182705ad Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 19 Oct 2021 10:09:31 +0200
Subject: [PATCH] vbox6: check for pending IRQs in sup_vcpu

Issue #4313
---
 repos/ports/src/virtualbox6/sup_vcpu.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/ports/src/virtualbox6/sup_vcpu.cc b/repos/ports/src/virtualbox6/sup_vcpu.cc
index 0d2ca42c1a..c81ffcb940 100644
--- a/repos/ports/src/virtualbox6/sup_vcpu.cc
+++ b/repos/ports/src/virtualbox6/sup_vcpu.cc
@@ -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;