Pintos: pintos/src/tests/userprog/boundary.h Source File

00001 #ifndef TESTS_USERPROG_BOUNDARY_H
00002 #define TESTS_USERPROG_BOUNDARY_H
00003 
00004 void *get_boundary_area (void);
00005 char *copy_string_across_boundary (const char *);
00006 
00007 #endif /* tests/userprog/boundary.h */