Correctly initialize the esp0 pointer in the TSS for the initial

[pintos-anon] / src / userprog / process.c

diff --git a/src/userprog/process.c b/src/userprog/process.c
index 781cc5d3fc81c9b95a65ed47b6d589c15895c91f..c0e521553f994dcc2f01004a3b4c28bedc2accb7 100644 (file)
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -129,7 +129,7 @@ process_activate (void)
 
   /* Set thread's kernel stack for use in processing
      interrupts. */
-  tss_set_esp0 ((uint8_t *) t + PGSIZE);
+  tss_update ();
 }
 \f
 /* We load ELF binaries.  The following definitions are taken