Constant hvdef::HV_CPUID_FUNCTION_HV_INTERFACE

pub const HV_CPUID_FUNCTION_HV_INTERFACE: u32 = 0x40000001;