PKUOS - Pintos
Pintos source browser for PKU Operating System course
Toggle main menu visibility
Main Page
Data Structures
Data Structures
Data Structure Index
Data Fields
All
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
r
s
t
u
v
w
x
z
Variables
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
r
s
t
u
v
w
x
Enumerator
Files
File List
Globals
All
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
Functions
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
Variables
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
w
x
y
Typedefs
b
e
f
h
i
l
m
o
p
s
t
u
v
Enumerations
Enumerator
b
c
g
i
p
q
r
s
t
u
Macros
_
a
b
c
d
e
f
g
h
i
l
m
n
o
p
r
s
t
u
v
•
All
Data Structures
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Macros
src
threads
init.h
Go to the documentation of this file.
1
#ifndef THREADS_INIT_H
2
#define THREADS_INIT_H
3
4
#include <
debug.h
>
5
#include <
stdbool.h
>
6
#include <
stddef.h
>
7
#include <
stdint.h
>
8
9
/** Page directory with kernel mappings only. */
10
extern
uint32_t
*
init_page_dir
;
11
12
#endif
/**< threads/init.h */
debug.h
init_page_dir
uint32_t * init_page_dir
Page directory with kernel mappings only.
Definition:
init.c:42
stdbool.h
stddef.h
stdint.h
uint32_t
unsigned int uint32_t
Definition:
stdint.h:26
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2