PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
wait-bad-pid.c
Go to the documentation of this file.
1
/** Waits for an invalid pid. This may fail or terminate the
2
process with -1 exit code. */
3
4
#include <syscall.h>
5
#include "
tests/main.h
"
6
7
void
8
test_main
(
void
)
9
{
10
wait
((
pid_t
) 0x0c020301);
11
}
wait
static void wait(struct intq *q, struct thread **waiter)
pid_t
int pid_t
Process identifier.
Definition:
syscall.h:8
main.h
test_main
void test_main(void)
Waits for an invalid pid.
Definition:
wait-bad-pid.c:8
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2