|
PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <syscall.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) |
| Creates a file whose name spans the boundary between two pages. More... | |
| void test_main | ( | void | ) |
Creates a file whose name spans the boundary between two pages.
This is valid, so it must succeed.
Definition at line 10 of file open-boundary.c.
References CHECK, copy_string_across_boundary(), and open().
