schedule.h

Go to the documentation of this file.

// SPDX-License-Identifier: GPL-3.0-or-later
 
#pragma once
 
#include <mos/tasks/task_types.h>
 
__BEGIN_DECLS
 
void tasks_init();
 
void scheduler_init();
 
char thread_state_str(thread_state_t state);
 
void unblock_scheduler(void);
 
[[noreturn]] void enter_scheduler(void);
 
void scheduler_add_thread(thread_t *thread);
 
void scheduler_remove_thread(thread_t *thread);
 
void scheduler_wake_thread(thread_t *thread);
 
void reschedule(void);
 
void blocked_reschedule(void);
 
__nodiscard bool reschedule_for_waitlist(waitlist_t *waitlist);
 
__END_DECLS