Constant XEN_DOMCTL_set_cpu_policy

pub const XEN_DOMCTL_set_cpu_policy: u32 = 83;