-#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.
bool intr_context (void);
void intr_yield_on_return (void);
-#endif /* interrupt.h */
+void intr_dump_frame (const struct intr_frame *);
+const char *intr_name (uint8_t vec);
+
+#endif /* threads/interrupt.h */