Type Definition sgx_types::sgx_hmac_256bit_tag_t

type sgx_hmac_256bit_tag_t = [uint8_t; 32];