diff --git a/repos/ports/src/virtualbox6/sup_vcpu_vmx.h b/repos/ports/src/virtualbox6/sup_vcpu_vmx.h
index de9a760d5e..3fd910963f 100644
--- a/repos/ports/src/virtualbox6/sup_vcpu_vmx.h
+++ b/repos/ports/src/virtualbox6/sup_vcpu_vmx.h
@@ -66,6 +66,7 @@ unsigned Sup::Vmx::ctrl_primary()
 	       | VMX_PROC_CTLS_UNCOND_IO_EXIT
 	       | VMX_PROC_CTLS_USE_TPR_SHADOW
 	       | VMX_PROC_CTLS_RDPMC_EXIT
+	       | VMX_PROC_CTLS_RDTSC_EXIT
 	       ;
 }
 
@@ -196,6 +197,7 @@ Sup::Handle_exit_result Sup::Vmx::handle_exit(Vcpu_state &state)
 	case VMX_EXIT_INIT_SIGNAL:
 	case VMX_EXIT_TASK_SWITCH:
 	case VMX_EXIT_CPUID:
+	case VMX_EXIT_RDTSC:
 	case VMX_EXIT_RDTSCP:
 	case VMX_EXIT_VMCALL:
 	case VMX_EXIT_WBINVD: