X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.h;h=2a2b3ef0818409fb7e10c62b50fe3f1affc4a140;hp=834d796d971feb76ae63fbcc0006bd8f571d0ad8;hb=76a72158378a6447bb3dbce5bae41db48da0d64f;hpb=a98578bf3b6b5c946713654b404a886a7199dbee

diff --git a/src/threads/interrupt.h b/src/threads/interrupt.h
index 834d796..2a2b3ef 100644
--- a/src/threads/interrupt.h
+++ b/src/threads/interrupt.h
@@ -17,10 +17,11 @@ enum if_level intr_disable (void);
 
 struct intr_args
   {
+    /* Pushed by the stubs. */
     uint32_t edi;
     uint32_t esi;
     uint32_t ebp;
-    uint32_t esp;
+    uint32_t esp_dummy;
     uint32_t ebx;
     uint32_t edx;
     uint32_t ecx;
@@ -28,8 +29,16 @@ struct intr_args
     uint16_t es, :16;
     uint16_t ds, :16;
     uint32_t vec_no;
+
+    /* Sometimes pushed by the CPU, otherwise by the stubs. */
     uint32_t error_code;
-    uint32_t eip;
+
+    /* Pushed by the CPU. */
+    void (*eip) (void);
+    uint16_t cs, :16;
+    uint32_t eflags;
+    uint32_t esp;
+    uint16_t ss, :16;
   };
 
 typedef void intr_handler_func (struct intr_args *);