CS318 - Pintos
Pintos source browser for JHU CS318 course
create-bound.c
Go to the documentation of this file.
1 /** Opens a file whose name spans the boundary between two pages.
2  This is valid, so it must succeed. */
3 
4 #include <syscall.h>
6 #include "tests/lib.h"
7 #include "tests/main.h"
8 
9 void
10 test_main (void)
11 {
12  msg ("create(\"quux.dat\"): %d",
13  create (copy_string_across_boundary ("quux.dat"), 0));
14 }
lib.h
test_main
void test_main(void)
Opens a file whose name spans the boundary between two pages.
Definition: create-bound.c:10
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
main.h
msg
void msg(const char *format,...)
Definition: lib.c:28
boundary.h
create
bool create(const char *file, unsigned initial_size)
Definition: syscall.c:91