kernel/include/scheduler.h


1
2
3
4
5
6
7
8
9
10
11
12
13

#ifndef SCHEDULER_H
#define SCHEDULER_H

#include <process.h>
#include <atomic.h>

__attribute__((noreturn)) void init_scheduler(void);
process_t *scheduler(void);

extern mutex_t scheduler_lock;
extern uint32_t sched_init;

#endif