Type Definition sgx_types::sgx_mac_128bit_t

type sgx_mac_128bit_t = [uint8_t; 16];