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: exit on rdtsc and rdtscp (intel)

Browse Source 
Otherwise Windows 10 shows 50 Ghz frequency in task manager and other
strange things may happen.

Issue #1769
Issue #4314
Fixes #4313
This commit is contained in:
Alexander Boettcher 2021-11-01 14:09:03 +01:00 committed by Christian Helmuth
parent 7a06633173
commit f4e52863c0
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/src/virtualbox6/sup_vcpu_vmx.h
View File

@ -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: