var scheduler_8cpp = [ [ "FpuCtx", "struct_fpu_ctx.html", "struct_fpu_ctx" ], [ "isr_systick", "scheduler_8cpp.html#a4728919288dacba97228c27b1c996108", null ], [ "tk::detail::static_register", "namespacetk_1_1detail.html#a447e4ec89b3f2748451891219b7e3738", null ], [ "tk_switch_context", "scheduler_8cpp.html#a10d391ed68d7bf5406e9dbcd1c69d1da", null ], [ "tk_task_return_trampoline", "scheduler_8cpp.html#ad29ac857f58c5bf7c0220403c6624f32", null ], [ "tk_fpu_scratch", "scheduler_8cpp.html#ad7a9acf1577e1fc4ff193d79edf9e254", null ] ];