PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <syscall-nr.h>
#include "tests/userprog/boundary.h"
#include "tests/lib.h"
#include "tests/main.h"
Go to the source code of this file.
Functions | |
void | test_main (void) |
Invokes a system call with the system call number positioned such that its first byte is valid but the remaining bytes of the number are in invalid memory. More... | |
void test_main | ( | void | ) |
Invokes a system call with the system call number positioned such that its first byte is valid but the remaining bytes of the number are in invalid memory.
Must kill process.
Definition at line 11 of file sc-boundary-3.c.
References fail(), and get_bad_boundary().