Constant XEN_DOMCTL_get_cpu_policy 

pub const XEN_DOMCTL_get_cpu_policy: u32 = 82;