Constant XEN_DOMCTL_get_device_group 

pub const XEN_DOMCTL_get_device_group: u32 = 50;