blob: db7933cc891f3665035775528ed805b8b26b7ec7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#ifndef DEF_TASK_NS_H
#define DEF_TASK_NS_H
#include <TaskManager/Thread.class.h>
#include <VTManager/VirtualTerminal.class.h>
namespace Task {
extern Thread* currentThread;
extern Process* currentProcess;
void initialize(String cmdline, VirtualTerminal *vt); //cmdline should be the bootloader kernel command line, if anybody needs it
void doSwitch();
void triggerSwitch();
u32int nextPid();
bool IRQwakeup(u8int irq);
void allocKernelPageTable(u32int id, page_table_t *table, u32int tablePhys);
Process* getKernelProcess(); //Returns first registered process
//These are used by the constructors/destructors of Thread and Process
void registerThread(Thread* t);
void unregisterThread(Thread* t);
void registerProcess(Process* p);
void unregisterProcess(Process* p);
}
#endif
|
