Constant x86_64::cpuid::ECX_HYPERVISOR_SHIFT

pub const ECX_HYPERVISOR_SHIFT: u32 = 31;