X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fuserprog%2Fprocess.c;h=675dc254af3db38cfea22ec26d77250aeb9206a9;hp=bece1fe95cc990c2e8313bf8481ed0b1e7136f52;hb=49c19e58aa14fba779bfe331b1ebaba62d31dfa5;hpb=2ce1eb4d6c0adc209f56789920362d455cca443e

diff --git a/src/userprog/process.c b/src/userprog/process.c
index bece1fe..675dc25 100644
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -72,7 +72,7 @@ execute_thread (void *file_name_)
      arguments on the stack in the form of a `struct intr_frame',
      we just point the stack pointer (%esp) to our stack frame
      and jump to it. */
-  asm ("movl %0, %%esp; jmp intr_exit" :: "g" (&if_));
+  asm volatile ("movl %0, %%esp; jmp intr_exit" : : "g" (&if_) : "memory");
   NOT_REACHED ();
 }