Merge pull request #127 from robhoes/cpumasking

CP-3989/CP-3940: Add CPUID masking support for Intel Haswell DT and Ivy ...
xapi-project · Apr 8, 2013 · ff40983 · ff40983
2 parents b42d0a8 + 6156254
commit ff40983
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/cpuid/cpuid.ml b/cpuid/cpuid.ml
@@ -111,7 +111,8 @@ let read_features () =
  * It's not sensibly documented, so check by model *)
 let has_flexmigration family model stepping =
 	let fully_maskable_models =
-		[0x17l; 0x1dl; 0x1el; 0x1fl; 0x25l; 0x2al; 0x2cl; 0x2cl; 0x2dl; 0x2el; 0x2fl; 0x3al] in
+		[0x17l; 0x1dl; 0x1el; 0x1fl; 0x25l; 0x2al; 0x2cl; 0x2cl; 0x2dl; 0x2el; 0x2fl; 0x3al;
+		0x3cl; 0x3el] in
 	if family <> 0x6l then
 		No
 	else if model = 0x1dl || (model = 0x17l && stepping >= 4l) then