X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fuserprog%2Ftss.h;h=467bd19e51ffc4f1bce00ea88496302c9ae9d6f2;hp=fa8d47b54efb50969e44e54c7ae2e9df6b90ff99;hb=9a602e952252dbfb1332f5137dd7c33a21b6fc6d;hpb=e48bfc15bb4241e1df3b32d8e4aca6a34efea6c3

diff --git a/src/userprog/tss.h b/src/userprog/tss.h
index fa8d47b..467bd19 100644
--- a/src/userprog/tss.h
+++ b/src/userprog/tss.h
@@ -6,6 +6,6 @@
 struct tss;
 void tss_init (void);
 struct tss *tss_get (void);
-void tss_set_esp0 (uint8_t *);
+void tss_update (void);
 
 #endif /* userprog/tss.h */