Constant HV_CPUID_FUNCTION_MS_HV_ENLIGHTENMENT_INFORMATION 

pub const HV_CPUID_FUNCTION_MS_HV_ENLIGHTENMENT_INFORMATION: u32 = 0x40000004;