Constant HYPERV_CPUID_INTERFACE 

pub const HYPERV_CPUID_INTERFACE: u32 = 1073741825;