Redirecting to ../../sgx_types/type.sgx_time_t.html...