Type Definition sgx_types::sgx_time_t[−][src]

type sgx_time_t = uint64_t;