From: Peter Dinda <pdinda@northwestern.edu>
Date: Wed, 31 Jul 2013 23:52:55 +0000 (-0500)
Subject: Mask hyperthreading CPUID bit
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=869706293430070e89fbc74eaff47ebc6072f17b;hp=915d7c977583d5f376624216d30676d412a989a7;p=palacios.git

Mask hyperthreading CPUID bit
---

diff --git a/palacios/src/palacios/vmm_cpuid.c b/palacios/src/palacios/vmm_cpuid.c
index c170089..fb22979 100644
--- a/palacios/src/palacios/vmm_cpuid.c
+++ b/palacios/src/palacios/vmm_cpuid.c
@@ -51,6 +51,9 @@ void v3_init_cpuid_map(struct v3_vm_info * vm) {
     v3_cpuid_add_fields(vm, 0x00000001, 0, 0, 0, 0, 0, 0, (1 << 12), 0);
     // disable PAT
     v3_cpuid_add_fields(vm, 0x00000001, 0, 0, 0, 0, 0, 0, (1 << 16), 0);
+    // disable HTT
+    v3_cpuid_add_fields(vm, 0x00000001, 0, 0, 0, 0, 0, 0, (1 << 28), 0);
+
     // disable X2APIC
     v3_cpuid_add_fields(vm, 0x00000001, 0, 0, 0, 0, (1 << 21), 0, 0, 0);