[][src]Type Definition sgx_tstd::os::unix::raw::time_t

type time_t = i64;