Constant XEN_DOMCTL_soft_reset

pub const XEN_DOMCTL_soft_reset: u32 = 79;