I'm trying to figure out the value of the "IA32_VMX_MISC" MSR prior to buying an expensive CPU.
I'm interested in the Xeon D or Xeon E5 v4 products.
If any of you have access to one of those CPU's I'll highly appreciate if you can check the value of this MSR (you can do this with inteltool -M)
If there's any other way to check, please let me know.
For more complete information about compiler optimizations, see our Optimization Notice.