[][src]Type Definition sgx_types::sgx_prod_id_t

type sgx_prod_id_t = uint16_t;