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

type sgx_launch_token_t = [uint8_t; 1024];