X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fuserprog%2Faddrspace.c;h=1170f16ab92a7f61f1a93ad381ea49ff38208e63;hp=519da93cc90ed302ddf5ab3ea684d5ff8f95e238;hb=a051c001c942a1f9cce57b1beec79794f9c7089f;hpb=c9c283cb3e26a5b6d918ee47dcf8efe28522b18d

diff --git a/src/userprog/addrspace.c b/src/userprog/addrspace.c
index 519da93..1170f16 100644
--- a/src/userprog/addrspace.c
+++ b/src/userprog/addrspace.c
@@ -3,13 +3,13 @@
 #include "debug.h"
 #include "file.h"
 #include "filesys.h"
-#include "gdt.h"
 #include "init.h"
 #include "lib.h"
 #include "mmu.h"
 #include "paging.h"
 #include "palloc.h"
 #include "thread.h"
+#include "tss.h"
 
 /* We load ELF binaries.  The following definitions are taken
    from the ELF specification more-or-less verbatim. */
@@ -275,5 +275,5 @@ addrspace_activate (struct thread *t)
   
   if (t->pagedir != NULL)
     pagedir_activate (t->pagedir);
-  tss->esp0 = (uint32_t) t + PGSIZE;
+  tss_set_esp0 ((uint8_t *) t + PGSIZE);
 }