random: Fix behavior of kernel option "-rs".
[pintos-anon] / src / tests / userprog / sc-boundary.c
index 86371d6365b261dfeecc7c1cdbd90d59785cfe9c..d889535cf279f9af2d5688fd0ef21a5c1caf0719 100644 (file)
@@ -1,3 +1,6 @@
+/* Invokes a system call with the system call number and its
+   argument on separate pages.  This must work. */
+
 #include <syscall-nr.h>
 #include "tests/userprog/boundary.h"
 #include "tests/lib.h"
@@ -10,10 +13,10 @@ test_main (void)
      and its argument at the beginning of another. */
   int *p = get_boundary_area ();
   p--;
-  p[0] = SYS_exit;
+  p[0] = SYS_EXIT;
   p[1] = 42;
 
   /* Invoke the system call. */
-  asm volatile ("movl %0, %%esp; int $0x30" :: "g" (p));
+  asm volatile ("movl %0, %%esp; int $0x30" : : "g" (p));
   fail ("should have called exit(42)");
 }