Function xc_vmtrace_output_position 

pub unsafe extern "C" fn xc_vmtrace_output_position(
    xch: *mut xc_interface,
    domid: u32,
    vcpu: u32,
    pos: *mut u64,
) -> c_int