projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add "-k" option to pintos script. When used, pintos will scan the
[pintos-anon]
/
src
/
tests
/
userprog
/
sc-boundary-2.c
diff --git
a/src/tests/userprog/sc-boundary-2.c
b/src/tests/userprog/sc-boundary-2.c
index c287d248fbb8f1101633ba76196061784be8c8c6..6dce992fea87960d6e851b2e6a29e6145103d87f 100644
(file)
--- a/
src/tests/userprog/sc-boundary-2.c
+++ b/
src/tests/userprog/sc-boundary-2.c
@@
-1,3
+1,7
@@
+/* Invokes a system call with one byte of the system call's
+ argument on a separate page from the rest of the bytes. This
+ must work. */
+
#include <syscall-nr.h>
#include "tests/userprog/boundary.h"
#include "tests/lib.h"
#include <syscall-nr.h>
#include "tests/userprog/boundary.h"
#include "tests/lib.h"
@@
-9,10
+13,10
@@
test_main (void)
/* Make one byte of a syscall argument hang over into a second
page. */
int *p = (int *) ((char *) get_boundary_area () - 7);
/* Make one byte of a syscall argument hang over into a second
page. */
int *p = (int *) ((char *) get_boundary_area () - 7);
- p[0] = SYS_
exit
;
+ p[0] = SYS_
EXIT
;
p[1] = 67;
/* Invoke the system call. */
p[1] = 67;
/* Invoke the system call. */
- asm volatile ("mov
%%esp, %0; int
0x30" :: "g" (p));
+ asm volatile ("mov
l %0, %%esp; int $
0x30" :: "g" (p));
fail ("should have called exit(67)");
}
fail ("should have called exit(67)");
}