PKUOS - Pintos
Pintos source browser for PKU Operating System course
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
7void
8test_main (void)
9{
10 wait ((pid_t) 0x0c020301);
11}
static void wait(struct intq *q, struct thread **waiter)
int pid_t
Process identifier.
Definition: syscall.h:8
void test_main(void)
Waits for an invalid pid.
Definition: wait-bad-pid.c:8