var searchData=
[
  ['kernelresult_0',['KERNELRESULT',['../result_8h.html#a545d265c61c6fbfa95a495e4bf280eff',1,'result.h']]]
];