|
tinykernel
|
#include "tinykernel/kernel.hpp"#include <cstring>#include "pico/platform.h"#include "pico/multicore.h"#include "hardware/sync.h"#include "port/m33/port_m33.h"クラス | |
| struct | FpuCtx |
名前空間 | |
| namespace | tk |
| namespace | tk::detail |
関数 | |
| void | isr_systick (void) |
| uintptr_t | tk_switch_context (uintptr_t cur_sp) |
| void | tk::detail::static_register (const char *name, TaskFn fn, uint32_t prio) |
| void | tk_task_return_trampoline (void) |
変数 | |
| FpuCtx | tk_fpu_scratch [TK_NUM_CORES] = {} |
| void isr_systick | ( | void | ) |
| uintptr_t tk_switch_context | ( | uintptr_t | cur_sp | ) |
| void tk_task_return_trampoline | ( | void | ) |
| FpuCtx tk_fpu_scratch[TK_NUM_CORES] = {} |