Constant hvdef::HV_CPUID_FUNCTION_HV_VENDOR_AND_MAX_FUNCTION

pub const HV_CPUID_FUNCTION_HV_VENDOR_AND_MAX_FUNCTION: u32 = 0x40000000;