Constant XEN_DOMCTL_INTERFACE_VERSION

pub const XEN_DOMCTL_INTERFACE_VERSION: u32 = 23;