X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fchild-bad.c;h=77d7a69d25013ffdd51aaa3290bfd228c9cb74af;hb=96890516ba515537cae2d4b87df7412f5ad8c73f;hp=70cfc6a0ec08a38893e84bbb69d03d35808fbeac;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/userprog/child-bad.c b/src/tests/userprog/child-bad.c
index 70cfc6a..77d7a69 100644
--- a/src/tests/userprog/child-bad.c
+++ b/src/tests/userprog/child-bad.c
@@ -1,9 +1,14 @@
+/* Child process run by wait-killed test.
+   Sets the stack pointer (%esp) to an invalid value and invokes
+   a system call, which should then terminate the process with a
+   -1 exit code. */
+
 #include "tests/lib.h"
 #include "tests/main.h"
 
 void
 test_main (void) 
 {
-  asm volatile ("mov %esp, 0x20101234; int 0x30");
+  asm volatile ("movl $0x20101234, %esp; int $0x30");
   fail ("should have exited with -1");
 }