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 one byte of the system call's argument on a separate page from the rest of the bytes. More... | |
void test_main | ( | void | ) |
Invokes a system call with one byte of the system call's argument on a separate page from the rest of the bytes.
This must work.
Definition at line 11 of file sc-boundary-2.c.
References fail(), get_boundary_area(), and SYS_EXIT.