1 files changed, 18 insertions, 0 deletions
diff --git a/doc/tools/bmenu/isr.h b/doc/tools/bmenu/isr.h
new file mode 100644
index 0000000000..33eaefb127
--- /dev/null
+++ b/doc/tools/bmenu/isr.h
@@ -0,0 +1,18 @@
+/*
+ *  COPYRIGHT (c) 1988-2002.
+ *  On-Line Applications Research Corporation (OAR).
+ *  All rights reserved.
+ *
+ *  $Id$
+ */
+
+
+#ifndef __ISR_h
+#define __ISR_h
+
+typedef unsigned32 ISR_Level;
+
+#define _ISR_Disable
+#define _ISR_Enable
+
+#endif