Constant XEN_DOMCTL_set_cpu_policy 

pub const XEN_DOMCTL_set_cpu_policy: u32 = 83;