PKUOS - Pintos
Pintos source browser for PKU Operating System course
Functions
bad-jump2.c File Reference
#include "tests/lib.h"
#include "tests/main.h"
Include dependency graph for bad-jump2.c:

Go to the source code of this file.

Functions

void test_main (void)
 This program attempts to execute code at a kernel virtual address. More...
 

Function Documentation

◆ test_main()

void test_main ( void  )

This program attempts to execute code at a kernel virtual address.

tests/main.h

This should terminate the process with a -1 exit code.

Definition at line 8 of file bad-jump2.c.

References fail(), and msg().

Here is the call graph for this function: