#include <stdint.h>
#include <interrupts/isr.h>
#include <tasks/task.h>

Include dependency graph for schedule.h:

This graph shows which files directly or indirectly include this file:

Functions
cpu_state_t *	schedule (cpu_state_t *cpu)
	Returns the next task to run. More...

cpu_state_t *	schedule_switch_task (task_pid_t next_task)
	Switches to a given task. More...

task_pid_t	schedule_get_current_task ()
	Returns the current task's PID. More...

task_pid_t	schedule_get_next_task ()
	Returns the next running task's PID. More...

void	schedule_finalize_tasks ()
	Destroys tasks marked for removal.

Functions