x86_64::cpuid

Constant ECX_VMX_SHIFT

Source 
pub const ECX_VMX_SHIFT: u32 = 5;