Constant HV_CPUID_FUNCTION_HV_VENDOR_AND_MAX_FUNCTION 

pub const HV_CPUID_FUNCTION_HV_VENDOR_AND_MAX_FUNCTION: u32 = 0x40000000;