pintos-doxygen/html/create-bound_8c_source.html

/** Opens a file whose name spans the boundary between two pages.

   This is valid, so it must succeed. */


#include <syscall.h>

#include "tests/userprog/boundary.h"

#include "tests/lib.h"

#include "tests/main.h"


void

test_main (void)

{

  msg ("create(\"quux.dat\"): %d",

       create (copy_string_across_boundary ("quux.dat"), 0));

}

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

test_main
void test_main(void)
Opens a file whose name spans the boundary between two pages.
Definition: create-bound.c:10

create
bool create(const char *file, unsigned initial_size)
Definition: syscall.c:91

msg
void msg(const char *format,...)
Definition: lib.c:28

lib.h

main.h