tinykernel/docs/html/search/functions_10.js

var searchData=
[
  ['wake_5ftask_5flocked_0',['wake_task_locked',['../namespacetk_1_1detail.html#ab19385598f18560cb574cc86174ececa',1,'tk::detail']]]
];