Constant XEN_DOMCTL_test_assign_device 

pub const XEN_DOMCTL_test_assign_device: u32 = 45;