Correctly initialize the esp0 pointer in the TSS for the initial

[pintos-anon] / src / userprog / tss.h

diff --git a/src/userprog/tss.h b/src/userprog/tss.h
index a5476c7dacd91f6dc799ee361ebe3ac843946e24..467bd19e51ffc4f1bce00ea88496302c9ae9d6f2 100644 (file)
--- a/src/userprog/tss.h
+++ b/src/userprog/tss.h
@@ -1,11 +1,11 @@
-#ifndef HEADER_TSS_H
-#define HEADER_TSS_H
+#ifndef USERPROG_TSS_H
+#define USERPROG_TSS_H
 
 #include <stdint.h>
 
 struct tss;
 void tss_init (void);
 struct tss *tss_get (void);
-void tss_set_esp0 (uint8_t *);
+void tss_update (void);
 
-#endif /* tss.h */
+#endif /* userprog/tss.h */