Constant XEN_DOMCTL_vmtrace_get_option 

pub const XEN_DOMCTL_vmtrace_get_option: u32 = 5;