scheduler.cpp File Reference

#include "tinykernel/kernel.hpp"
#include <cstring>
#include "pico/platform.h"
#include "pico/multicore.h"
#include "hardware/sync.h"
#include "port/m33/port_m33.h"

Classes
struct	FpuCtx

Namespaces
namespace	tk
namespace	tk::detail

Functions
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)

Variables
FpuCtx	tk_fpu_scratch [TK_NUM_CORES] = {}

Function Documentation

isr_systick()

void isr_systick

(

void

)

tk_switch_context()

uintptr_t tk_switch_context

(

uintptr_t

cur_sp

)

tk_task_return_trampoline()

void tk_task_return_trampoline

(

void

)

Variable Documentation

tk_fpu_scratch

FpuCtx tk_fpu_scratch[TK_NUM_CORES] = {}