Type Definition sgx_types::sgx_launch_token_t
[−]
[src]
type sgx_launch_token_t = [uint8_t; 1024];
type sgx_launch_token_t = [uint8_t; 1024];