Constant HVMPV_cpu_hotplug

Source
pub const HVMPV_cpu_hotplug: u32 = 4096;