Constant XEN_DOMCTL_vmtrace_output_position

pub const XEN_DOMCTL_vmtrace_output_position: u32 = 4;