Constant XEN_SYSCTL_cpu_hotplug

Source
pub const XEN_SYSCTL_cpu_hotplug: u32 = 11;