Constant CCODE::PRODUCT_HYPERV

pub const PRODUCT_HYPERV: u32 = 42;