On Wed, Apr 06, 2016 at 01:52:15PM +0200, Peter Zijlstra wrote: > Borislav tells me this ought to be boot_cpu_has(X86_FEATURE_VMX) > > > + /* Intel SDM, 36.5 "Tracing post-VMXON" */ > > + rdmsrl(MSR_IA32_VMX_MISC, reg); > > + if (reg & BIT(14)) Also, I needz to consult my crystal ball about what bit 14 is... :-) -- Regards/Gruss, Boris. ECO tip #101: Trim your mails when you reply. -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html