Changeset 14411 in vbox for trunk/src/recompiler/target-i386

Timestamp:

Nov 20, 2008 1:26:47 PM (16 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

39642

Message:

RDTSCP support added. Enabled only for AMD-V guests.

Location:

trunk/src/recompiler/target-i386

Files:

• cpu.h (modified) (1 diff)
• exec.h (modified) (1 diff)
• helper.c (modified) (3 diffs)
• op.c (modified) (1 diff)
• translate.c (modified) (1 diff)

trunk/src/recompiler/target-i386/cpu.h

@@ -857 +857 @@
 void cpu_smm_update(CPUX86State *env);
 
+#ifdef VBOX
+uint64_t cpu_rdmsr(CPUX86State *env, uint32_t msr);
+void     cpu_wrmsr(CPUX86State *env, uint32_t msr, uint64_t val);
+#endif
+
 /* will be suppressed */
 void cpu_x86_update_cr0(CPUX86State *env, uint32_t new_cr0);

trunk/src/recompiler/target-i386/exec.h

@@ -215 +215 @@
 void helper_sysret(int dflag);
 void helper_rdtsc(void);
+#ifdef VBOX
+void helper_rdtscp(void);
+#endif
 void helper_rdmsr(void);
 void helper_wrmsr(void);

trunk/src/recompiler/target-i386/helper.c

@@ -3023 +3023 @@
 }
 
+#ifdef VBOX
+void helper_rdtscp(void)
+{
+    uint64_t val;
+
+    if ((env->cr[4] & CR4_TSD_MASK) && ((env->hflags & HF_CPL_MASK) != 0)) {
+        raise_exception(EXCP0D_GPF);
+    }
+
+    val = cpu_get_tsc(env);
+    EAX = (uint32_t)(val);
+    EDX = (uint32_t)(val >> 32);
+    ECX = cpu_rdmsr(env, MSR_K8_TSC_AUX);
+}
+#endif
+
 #if defined(CONFIG_USER_ONLY)
 void helper_wrmsr(void)
@@ -3106 +3122 @@
         break;
     }
+    case MSR_K8_TSC_AUX:
+        cpu_wrmsr(env, MSR_K8_TSC_AUX, val);
+        break;
 #endif /* VBOX */
     }
@@ -3170 +3189 @@
         break;
     }
+    case MSR_K8_TSC_AUX:
+        val = cpu_rdmsr(env, MSR_K8_TSC_AUX);
+        break;
 #endif /* VBOX */
     }

trunk/src/recompiler/target-i386/op.c

@@ -1055 +1055 @@
     helper_rdtsc();
 }
+
+#ifdef VBOX
+void OPPROTO op_rdtscp(void)
+{
+    helper_rdtscp();
+}
+#endif
 
 void OPPROTO op_cpuid(void)

trunk/src/recompiler/target-i386/translate.c

@@ -5940 +5940 @@
         op = (modrm >> 3) & 7;
         rm = modrm & 7;
+
+#ifdef VBOX
+        /* 0f 01 f9 */
+        if (modrm == 0xf9)
+        {
+            if (!(s->cpuid_ext2_features & CPUID_EXT2_RDTSCP))
+                 goto illegal_op;
+            gen_jmp_im(pc_start - s->cs_base);
+            gen_op_rdtscp();
+            break;
+        }
+#endif
+
         switch(op) {
         case 0: /* sgdt */