PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
child-bad.c
Go to the documentation of this file.
1
/** Child process run by wait-killed test.
2
Sets the stack pointer (%esp) to an invalid value and invokes
3
a system call, which should then terminate the process with a
4
-1 exit code. */
5
6
#include "
tests/lib.h
"
7
#include "
tests/main.h
"
8
9
void
10
test_main
(
void
)
11
{
12
asm
volatile
(
"movl $0x20101234, %esp; int $0x30"
);
13
fail
(
"should have exited with -1"
);
14
}
test_main
void test_main(void)
Child process run by wait-killed test.
Definition:
child-bad.c:10
fail
void fail(const char *format,...)
Definition:
lib.c:40
lib.h
main.h
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2