CS318 - Pintos
Pintos source browser for JHU CS318 course
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
tests
userprog
halt.c
Go to the documentation of this file.
1
/** Tests the halt system call. */
2
3
#include "
tests/lib.h
"
4
#include "
tests/main.h
"
5
6
void
7
test_main
(
void
)
8
{
9
halt
();
10
fail
(
"should have halted"
);
11
}
lib.h
halt
void halt(void)
Projects 2 and later.
Definition:
syscall.c:65
fail
void fail(const char *format,...)
Definition:
lib.c:40
main.h
test_main
void test_main(void)
Tests the halt system call.
Definition:
halt.c:7
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by
1.8.16
1.8.16
