Test disk code slightly more thoroughly.

[pintos-anon] / src / threads / switch.h

diff --git a/src/threads/switch.h b/src/threads/switch.h
index c285e78164971d5dd7e011d0356599be0d32f328..8a2974fcd999bafde09a9e46bfc274ad6dbde4dd 100644 (file)
--- a/src/threads/switch.h
+++ b/src/threads/switch.h
@@ -2,8 +2,8 @@
 #define HEADER_SWITCH_H 1
 
 #ifndef __ASSEMBLER__
-/* thread_switch()'s stack frame. */
-struct switch_frame 
+/* switch_thread()'s stack frame. */
+struct switch_threads_frame 
   {
     uint32_t ebx;               /*  0: Saved %ebx. */
     uint32_t ebp;               /*  4: Saved %ebp. */
@@ -17,7 +17,18 @@ struct switch_frame
 /* Switches from CUR, which must be the running thread, to NEXT,
    which must also be running thread_switch(), returning CUR in
    NEXT's context. */
-struct thread *thread_switch (struct thread *cur, struct thread *next);
+struct thread *switch_threads (struct thread *cur, struct thread *next);
+
+struct switch_entry_frame
+  {
+    void (*eip) (void);
+  };
+
+void switch_entry (void);
+
+/* Pops the CUR and NEXT arguments off the stack, for use in
+   initializing threads. */
+void switch_thunk (void);
 #endif
 
 /* Offsets used by switch.S. */