Constant XEN_DOMCTL_shadow_op 

pub const XEN_DOMCTL_shadow_op: u32 = 10;