Revert Intel-style assembly back to AT&T-style.
[pintos-anon] / src / userprog / process.c
index 58e81fd173d36c5bb0282f5ef29a05cb71ef8cff..6150a06d640add8ccc65e097ac1c87bf6c6bf701 100644 (file)
@@ -71,7 +71,7 @@ execute_thread (void *filename_)
      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 ("mov %%esp, %0; jmp intr_exit" :: "g" (&if_));
+  asm ("movl %0, %%esp; jmp intr_exit" :: "g" (&if_));
   NOT_REACHED ();
 }