Type Definition sgx_types::time_t

type time_t = i64;