Constant HV_CPUID_FUNCTION_HV_INTERFACE 

pub const HV_CPUID_FUNCTION_HV_INTERFACE: u32 = 0x40000001;