var searchData=
[
  ['sorted_0',['sorted',['../ports_8h.html#a77bb485da1c2bba082b00bb0c0032473a26decc94d83c358f67f11c3cbd99b126',1,'rtosc']]],
  ['sorted_5fand_5funique_5fprefix_1',['sorted_and_unique_prefix',['../ports_8h.html#a77bb485da1c2bba082b00bb0c0032473a6dae5c25b71807a9c5c0765c545a201b',1,'rtosc']]]
];
