Constant _HVMPV_cpu_hotplug

Source
pub const _HVMPV_cpu_hotplug: u32 = 12;