X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.h;h=d43e06d90831f76d54e04c4693765565f96ded7c;hb=19becec31c5704572a3575336c57364d72fd572b;hp=99abf8e3a92ddecff94064dd7bbaf5f0086e774d;hpb=e5c7df720147528ab310fe5ac983cc5115b998da;p=pintos-anon diff --git a/src/threads/interrupt.h b/src/threads/interrupt.h index 99abf8e..d43e06d 100644 --- a/src/threads/interrupt.h +++ b/src/threads/interrupt.h @@ -19,7 +19,7 @@ enum intr_level intr_disable (void); /* Interrupt stack frame. */ struct intr_frame { - /* Pushed by intr_entry in intr-stubs.S (see intr-stubs.pl). + /* Pushed by intr_entry in intr-stubs.S. These are the interrupted task's saved registers. */ uint32_t edi; /* Saved EDI. */ uint32_t esi; /* Saved ESI. */ @@ -34,13 +34,18 @@ struct intr_frame uint16_t es, :16; /* Saved ES segment register. */ uint16_t ds, :16; /* Saved DS segment register. */ - /* Pushed by intrXX_stub in intr-stubs.S (see intr-stubs.pl). */ + /* Pushed by intrNN_stub in intr-stubs.S. */ uint32_t vec_no; /* Interrupt vector number. */ /* Sometimes pushed by the CPU, - otherwise for consistency pushed as 0 by intrXX_stub. */ + otherwise for consistency pushed as 0 by intrNN_stub. + The CPU puts it just under `eip', but we move it here. */ uint32_t error_code; /* Error code. */ + /* Pushed by intrNN_stub in intr-stubs.S. + This frame pointer eases interpretation of backtraces. */ + void *frame_pointer; /* Saved EBP (frame pointer). */ + /* Pushed by the CPU. These are the interrupted task's saved registers. */ void (*eip) (void); /* Next instruction to execute. */ @@ -53,8 +58,9 @@ struct intr_frame typedef void intr_handler_func (struct intr_frame *); void intr_init (void); -void intr_register (uint8_t vec, int dpl, enum intr_level, intr_handler_func *, - const char *name); +void intr_register_ext (uint8_t vec, intr_handler_func *, const char *name); +void intr_register_int (uint8_t vec, int dpl, enum intr_level, + intr_handler_func *, const char *name); bool intr_context (void); void intr_yield_on_return (void);