PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
open-boundary.c
Go to the documentation of this file.
1
/** Creates a file whose name spans the boundary between two pages.
2
This is valid, so it must succeed. */
3
4
#include <syscall.h>
5
#include "
tests/userprog/boundary.h
"
6
#include "
tests/lib.h
"
7
#include "
tests/main.h
"
8
9
void
10
test_main
(
void
)
11
{
12
CHECK
(
open
(
copy_string_across_boundary
(
"sample.txt"
)) > 1,
13
"open \"sample.txt\""
);
14
}
copy_string_across_boundary
char * copy_string_across_boundary(const char *src)
Returns a copy of SRC split across the boundary between two pages.
Definition:
boundary.c:29
boundary.h
open
int open(const char *file)
Definition:
syscall.c:103
lib.h
CHECK
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition:
lib.h:29
main.h
test_main
void test_main(void)
Creates a file whose name spans the boundary between two pages.
Definition:
open-boundary.c:10
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2
1.9.2