xen_sys

Constant XEN_DOMCTL_vmtrace_set_option

Source 
pub const XEN_DOMCTL_vmtrace_set_option: u32 = 6;