pintos-os.org Git - pintos-anon/blob - src/tests/userprog/boundary.h

   1 #ifndef TESTS_USERPROG_BOUNDARY_H
   2 #define TESTS_USERPROG_BOUNDARY_H
   3
   4 void *get_boundary_area (void);
   5 char *copy_string_across_boundary (const char *);
   6
   7 #endif /* tests/userprog/boundary.h */