Type Definition sgx_libc::clockid_t

type clockid_t = i32;