PKUOS - Pintos
Pintos source browser for PKU Operating System course
boundary.h
Go to the documentation of this file.
1#ifndef TESTS_USERPROG_BOUNDARY_H
2#define TESTS_USERPROG_BOUNDARY_H
3
4void *get_boundary_area (void);
5char *copy_string_across_boundary (const char *);
6void *get_bad_boundary (void);
7
8#endif /**< tests/userprog/boundary.h */
void * get_boundary_area(void)
Returns the beginning of a page.
Definition: boundary.c:18
char * copy_string_across_boundary(const char *)
Returns a copy of SRC split across the boundary between two pages.
Definition: boundary.c:29
void * get_bad_boundary(void)
tests/userprog/boundary.h
Definition: boundary.c:42