From 4798ffd055102949d13d80ef545b497ff345925d Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 12 Oct 2021 09:05:06 +0200
Subject: [PATCH] vbox6: initialize more vcpu state in sup_vm.cc

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

diff --git a/repos/ports/src/virtualbox6/sup_vm.cc b/repos/ports/src/virtualbox6/sup_vm.cc
index 469a8c0c93..6070823057 100644
--- a/repos/ports/src/virtualbox6/sup_vm.cc
+++ b/repos/ports/src/virtualbox6/sup_vm.cc
@@ -58,9 +58,12 @@ void Sup::Vm::init(PSUPDRVSESSION psession, Cpu_count cpu_count)
 	for (uint32_t i = 0; i < cpu_count.value; ++i) {
 		VMCPU &cpu = GVM::aCpus[i];
 
+		cpu.idCpu           = i;
 		cpu.pVMR3           = this;
 		cpu.idHostCpu       = NIL_RTCPUID;
+		cpu.hNativeThread   = NIL_RTNATIVETHREAD;
 		cpu.hNativeThreadR0 = NIL_RTNATIVETHREAD;
+		cpu.enmState        = VMCPUSTATE_STOPPED;
 
 		VM::apCpusR3[i] = &cpu;
 	}