-#ifndef HEADER_INTERRUPT_H
-#define HEADER_INTERRUPT_H 1
+#ifndef THREADS_INTERRUPT_H
+#define THREADS_INTERRUPT_H
#include <stdbool.h>
#include <stdint.h>
uint32_t vec_no; /* Interrupt vector number. */
/* Sometimes pushed by the CPU,
- otherwise by intrXX_stub for consistency. */
+ otherwise for consistency pushed as 0 by intrXX_stub. */
uint32_t error_code; /* Error code. */
/* 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. */
bool intr_context (void);
void intr_yield_on_return (void);
-const char *intr_name (int vec);
+void intr_dump_frame (const struct intr_frame *);
+const char *intr_name (uint8_t vec);
-#endif /* interrupt.h */
+#endif /* threads/interrupt.h */