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

Go to the source code of this file.

Functions

void test_main (void)
 Reads data spanning two pages in virtual address space, which must succeed. More...
 

Function Documentation

◆ test_main()

void test_main ( void  )

Reads data spanning two pages in virtual address space, which must succeed.

tests/main.h

Definition at line 12 of file read-boundary.c.

References buffer, byte_cnt(), CHECK, fail(), get_boundary_area(), msg(), open(), read(), and strcmp().

Here is the call graph for this function: