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

type sgx_launch_token_t = [uint8_t; 1024];