kernel/paging.h


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
28
29
30

#ifndef PAGING_H
#define PAGING_H

enum {
	P1_P   = 0x001,
	P1_W   = 0x002,
	P1_U   = 0x004,
	P1_PWT = 0x008,
	P1_PCD = 0x010,
	P1_A   = 0x020,
	P1_D   = 0x040,
	P1_PAT = 0x080,
	P1_G   = 0x100,
};

enum {
	P2_P   = 0x001,
	P2_W   = 0x002,
	P2_U   = 0x004,
	P2_PWT = 0x008,
	P2_PCD = 0x010,
	P2_A   = 0x020,
	P2_D   = 0x040,
	P2_PS  = 0x080,
	P2_G   = 0x100,
};

void paging_reinit();

#endif