denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

nova: support transfer of IA32_TSC_AUX MSR for vCPUs

Browse Source 
The 32-bit MSR is returned by rdtscp in ecx register and used to detect
the CPU ID the timestamp was taken on.

Issue #4314
This commit is contained in:
Alexander Boettcher
2021-11-02 14:59:15 +01:00
committed by Christian Helmuth
parent f4e52863c0
commit 533015b93e
8 changed files with 105 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
repos/base/include/spec/x86/cpu/vcpu_state.h
View File

@@ -145,6 +145,7 @@ class Genode::Vcpu_state
Register<uint64_t> tsc;
Register<uint64_t> tsc_offset;
Register<uint64_t> tsc_aux;
Register<addr_t> efer;