pub unsafe extern "C" fn u_clock_gettime_ocall(
    result: *mut c_int,
    errno: *mut c_int,
    clk_id: clockid_t,
    tp: *mut timespec
) -> SgxStatus