PKUOS - Pintos
Pintos source browser for PKU Operating System course
Functions
open-boundary.c File Reference
#include <syscall.h>
#include "tests/userprog/boundary.h"
#include "tests/lib.h"
#include "tests/main.h"
Include dependency graph for open-boundary.c:

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...
 

Function Documentation

◆ test_main()

void test_main ( void  )

Creates a file whose name spans the boundary between two pages.

tests/main.h

This is valid, so it must succeed.

Definition at line 10 of file open-boundary.c.

References CHECK, copy_string_across_boundary(), and open().

Here is the call graph for this function: