4f240dfc93218b67d0dfe2cc341930f4a6928e22
[pintos-anon] / grading / userprog / create-bound.c
1 #include <inttypes.h>
2 #include <stdio.h>
3 #include <string.h>
4 #include <syscall.h>
5
6 static char *
7 mk_boundary_string (const char *src) 
8 {
9   static char dst[8192];
10   char *p = dst + (4096 - (uintptr_t) dst % 4096 - strlen (src) / 2);
11   strlcpy (p, src, 4096);
12   return p;
13 }
14
15 int
16 main (void) 
17 {
18   printf ("(create-bound) begin\n");
19   printf ("(create-bound) create(): %d\n",
20           create (mk_boundary_string ("quux.dat"), 0));
21   printf ("(create-bound) end\n");
22   return 0;
23 }