sched.h

#pragma once
 
#include "runtime.h"
#include <stdbool.h>
#include <arch/corelocal.h>
 
extern struct OS_core_state_t core[OS_NUM_CORES];
 
long os_sched_timing_callback(long delay_us);
 
uint8_t os_get_current_process(void);
 
uint8_t os_get_current_thread(void);
 
void os_set_current_thread(Thread_t new_thread);
 
uint8_t os_get_current_stack(void);
 
uint32_t os_get_micro_time(void);
 
int os_sched_yield(void);
 
void _os_start(uint8_t start_core);
 
int os_thread_create(entrypoint_t * entrypoint, void * data, uint8_t priority);
 
int os_thread_join(uint8_t thread_id);
 
int os_thread_exit(int status);
 
int os_thread_stop(uint8_t thread_id);
 
int os_thread_continue(uint8_t thread_id);
 
int os_thread_kill(uint8_t thread_id, int status);
 
int os_setpriority(uint8_t priority);
 
uint32_t * os_stack_get(int stack_id);
 
struct OS_thread_t * os_thread_get(Thread_t thread_id);
 
int os_thread_construct(Thread_t tid, entrypoint_t * entrypoint, void * data, uint8_t core);
 
void os_thread_dispose(void);
 
int os_thread_migrate(uint8_t thread_id, int target_core);
 
uint32_t os_shutdown();
 
struct OS_thread_t * os_thread_by_id(Thread_t id);
 
int os_thread_set_ready(struct OS_thread_t * thread);