X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fchild-bad.c;h=185617c2dfe45e6060fe0594aa3943875d1654a5;hp=70cfc6a0ec08a38893e84bbb69d03d35808fbeac;hb=575dc45e34db19ee7808c116e93485b37e0df716;hpb=a8e7532e684e4ea92a06d4eaf0d9ab714e4c2ad2

diff --git a/src/tests/userprog/child-bad.c b/src/tests/userprog/child-bad.c
index 70cfc6a..185617c 100644
--- a/src/tests/userprog/child-bad.c
+++ b/src/tests/userprog/child-bad.c
@@ -4,6 +4,6 @@
 void
 test_main (void) 
 {
-  asm volatile ("mov %esp, 0x20101234; int 0x30");
+  asm volatile ("movl $0x20101234, %esp; int $0x30");
   fail ("should have exited with -1");
 }