Constant XEN_DOMCTL_assign_device

pub const XEN_DOMCTL_assign_device: u32 = 37;