PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Go to the source code of this file.
Functions | |
void * | get_boundary_area (void) |
Returns the beginning of a page. More... | |
char * | copy_string_across_boundary (const char *) |
Returns a copy of SRC split across the boundary between two pages. More... | |
void * | get_bad_boundary (void) |
tests/userprog/boundary.h More... | |
char * copy_string_across_boundary | ( | const char * | src | ) |
Returns a copy of SRC split across the boundary between two pages.
Definition at line 29 of file boundary.c.
References get_boundary_area(), strlcpy(), and strlen().
Referenced by test_main().
void * get_bad_boundary | ( | void | ) |
Used to position information such that the first byte of the information is valid, but not all the information is valid.
Definition at line 42 of file boundary.c.
References ROUND_UP.
Referenced by test_main().
void * get_boundary_area | ( | void | ) |
Returns the beginning of a page.
There are at least 2048 modifiable bytes on either side of the pointer returned.
Definition at line 18 of file boundary.c.
References ROUND_UP.
Referenced by copy_string_across_boundary(), and test_main().