PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <string.h>
#include <syscall.h>
#include "tests/userprog/boundary.h"
#include "tests/userprog/sample.inc"
#include "tests/lib.h"
#include "tests/main.h"
Go to the source code of this file.
Functions | |
void | test_main (void) |
Writes data spanning two pages in virtual address space, which must succeed. More... | |
void test_main | ( | void | ) |
Writes data spanning two pages in virtual address space, which must succeed.
Definition at line 12 of file write-boundary.c.
References byte_cnt(), CHECK, copy_string_across_boundary(), fail(), open(), and write().