X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fsc-boundary.c;h=94c81b907cf1af7d80a3271aa071b651252d9ee8;hb=d80dc83cd65332de026aa01035967fc031d0f305;hp=401e4374466e671c8b46eadbacc6cc91a49c494f;hpb=4d4065366785163248112abe34ac9a1ecd4b08b5;p=pintos-anon

diff --git a/grading/userprog/sc-boundary.c b/grading/userprog/sc-boundary.c
index 401e437..94c81b9 100644
--- a/grading/userprog/sc-boundary.c
+++ b/grading/userprog/sc-boundary.c
@@ -20,9 +20,7 @@ main (void)
   p--;
   p[0] = SYS_exit;
   p[1] = 42;
-  asm volatile ("mov %0, %%esp; int $0x30"
-                :
-                : "g" (p));
+  asm volatile ("mov %%esp, %0; int 0x30" :: "g" (p));
   printf ("(sc-boundary) failed\n");
   return 1;
 }