Type Definition sgx_types::sgx_enclave_id_t

type sgx_enclave_id_t = uint64_t;