Fix up header guards.

[pintos-anon] / src / threads / intr-stubs.h

diff --git a/src/threads/intr-stubs.h b/src/threads/intr-stubs.h
index b1f503943a852b23909d569c76756e9731cd47ec..debeaabc075ab3668b78271d028e703481e1b113 100644 (file)
--- a/src/threads/intr-stubs.h
+++ b/src/threads/intr-stubs.h
@@ -1,9 +1,20 @@
-#ifndef HEADER_INTR_STUBS_H
-#define HEADER_INTR_STUBS_H
+#ifndef THREADS_INTR-STUBS_H
+#define THREADS_INTR-STUBS_H
 
-extern void (*const intr_stubs[256]) (void);
+/* Interrupt stubs.
 
-void intr_entry (void);
+   These are little snippets of code in intr-stubs.S, one for
+   each of the 256 possible x86 interrupts.  They just push the
+   interrupt vector number on the stack (and, for interrupts that
+   don't have an error code, a fake error code), then jump to
+   intr_entry().
+
+   This array points to each of the interrupt stub entry points
+   so that intr_init() can easily find them. */
+typedef void intr_stub_func (void);
+extern intr_stub_func *intr_stubs[256];
+
+/* Interrupt return path. */
 void intr_exit (void);
 
-#endif /* intr-stubs.h */
+#endif /* threads/intr-stubs.h */