diff --git a/src/arch/x86/isa/insts/system/msrs.py b/src/arch/x86/isa/insts/system/msrs.py index 16d158ab59..fe9c5b2626 100644 --- a/src/arch/x86/isa/insts/system/msrs.py +++ b/src/arch/x86/isa/insts/system/msrs.py @@ -60,6 +60,7 @@ def macroop WRMSR def macroop RDTSC { + .serialize_before rdtsc t1 mov rax, rax, t1, dataSize=4 srli t1, t1, 32, dataSize=8