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.

Reply via email to