thread.h

#pragma once
 
#include <kernel/runtime.h>
 
extern __thread int current_thread_id;
 
void thread_suspend_execution(bool initial);
 
void thread_resume_execution(Thread_t thread_id);
 
void enter_system_call();
 
void request_pending_service();
 
void is_cmrx_thread();