Constant XEN_DOMCTL_vmtrace_enable

pub const XEN_DOMCTL_vmtrace_enable: u32 = 1;