C Microkernel Realtime eXecutive
Realtime Operating System for Cortex-M based microcontrollers
 
Loading...
Searching...
No Matches
thread.h
1#pragma once
2
3#include <kernel/runtime.h>
4
10extern __thread int current_thread_id;
11
17void thread_suspend_execution(bool initial);
18
25void thread_resume_execution(Thread_t thread_id);
26
29void enter_system_call();
30
33void request_pending_service();
34
44void is_cmrx_thread();
uint8_t Thread_t
Data type used for thread IDs.
Definition defines.h:72