Constant XEN_DOMCTL_get_device_group

pub const XEN_DOMCTL_get_device_group: u32 = 50;