7 #ifndef TASKS_SCHEDULE_H 8 #define TASKS_SCHEDULE_H task_pid_t schedule_get_current_task()
Returns the current task's PID.
cpu_state_t * schedule(cpu_state_t *cpu)
Returns the next task to run.
void schedule_finalize_tasks()
Destroys tasks marked for removal.
The CPU's state when an interrupt occurs.
task_pid_t schedule_get_next_task()
Returns the next running task's PID.
uint32_t task_pid_t
unique process ID
cpu_state_t * schedule_switch_task(task_pid_t next_task)
Switches to a given task.