Comments.
[pintos-anon] / src / threads / interrupt.h
index adb7fa99b4a424e116914551c4edb0f3d2d30d20..d54b7ef0893ff4caff7af5883d47b7c123fcd0d8 100644 (file)
@@ -41,7 +41,7 @@ struct intr_frame
 
     /* Pushed by the CPU.
        These are the interrupted task's saved registers. */
-    void (*eip) (void);         /* Current or next instruction. */
+    void (*eip) (void);         /* Next instruction to execute. */
     uint16_t cs, :16;           /* Code segment for eip. */
     uint32_t eflags;            /* Saved CPU flags. */
     void *esp;                  /* Saved stack pointer. */