CeDOS - include/cedos/scheduler.h

include/cedos/scheduler.h (view raw)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
/*! \file
 * Manages the distribution of processing time among processes.
 */
#ifndef SCHEDULER_H
#define SCHEDULER_H

#include <stdint.h>

#include "cedos/process.h"
#include "cedos/mm/paging.h"

/*!
 * Executes a task.
 */
PROCESS_ID sched_exec(PHYS_ADDR page_dir, VIRT_ADDR eip, VIRT_ADDR esp);

/*!
 * Initializes the scheduler.
 */
int sched_init(void);

#endif