-#ifndef HEADER_INTR_STUBS_H
-#define HEADER_INTR_STUBS_H
+#ifndef THREADS_INTR_STUBS_H
+#define THREADS_INTR_STUBS_H
/* Interrupt stubs.
/* Interrupt return path. */
void intr_exit (void);
-#endif /* intr-stubs.h */
+#endif /* threads/intr-stubs.h */