tinykernel/docs/html/search/functions_4.js

var searchData=
[
  ['find_5fhighest_5fprio_5fwaiter_0',['find_highest_prio_waiter',['../namespacetk_1_1detail.html#a70ba35e0daee086ad86770f1e39c9b35',1,'tk::detail']]]
];