X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fpt-grow-bad.c;h=d83890fb7c0252579d38c6fff77015d6d6e67a86;hp=2629574cc6f4bb0479cdc7ee4a66746ccee2433c;hb=575dc45e34db19ee7808c116e93485b37e0df716;hpb=a8e7532e684e4ea92a06d4eaf0d9ab714e4c2ad2

diff --git a/src/tests/vm/pt-grow-bad.c b/src/tests/vm/pt-grow-bad.c
index 2629574..d83890f 100644
--- a/src/tests/vm/pt-grow-bad.c
+++ b/src/tests/vm/pt-grow-bad.c
@@ -9,5 +9,5 @@ test_main (void)
 {
   /* Read from an address 4,096 bytes below the stack pointer.
      Must kill the program. */
-  asm volatile ("mov %eax, [%esp - 4096]");
+  asm volatile ("movl -4096(%esp), %eax");
 }