Type Definition sgx_libc::time_t

type time_t = i64;