Constant XEN_DOMCTL_vmtrace_get_option

pub const XEN_DOMCTL_vmtrace_get_option: u32 = 5;