Constant HV_CPUID_FUNCTION_MS_HV_ISOLATION_CONFIGURATION 

pub const HV_CPUID_FUNCTION_MS_HV_ISOLATION_CONFIGURATION: u32 = 0x4000000C;