var searchData=
[
  ['random_20generation_0',['Random generation',['../group__random.html',1,'']]],
  ['region_5fsize_1',['region_size',['../group__platform__mpc.html#a7e08056ff1c597e1009b42e6dd8aec79',1,'ifx_se_mpc_rot_cfg_t']]]
];
