Use hex notation for interrupt mask bits.

diff --git a/v7/src/microcode/intrpt.h b/v7/src/microcode/intrpt.h
index 58be2cb5546166184d59e0e6b68e25c9c885af9a..58e54ceb51217e5b3cc85402eb154ca09bca60c8 100644 (file)
--- a/v7/src/microcode/intrpt.h
+++ b/v7/src/microcode/intrpt.h
@@ -1,8 +1,9 @@
 /* -*-C-*-
 
-$Id: intrpt.h,v 1.23 2003/02/14 18:28:19 cph Exp $
+$Id: intrpt.h,v 1.24 2003/04/07 20:33:03 cph Exp $
 
-Copyright (c) 1987-2000 Massachusetts Institute of Technology
+Copyright 1987,1992,1993,1994,1997,2000 Massachusetts Institute of Technology
+Copyright 2003 Massachusetts Institute of Technology
 
 This file is part of MIT/GNU Scheme.
 
@@ -27,33 +28,33 @@ USA.
 
 /* Interrupt bits -- scanned from LSB (1) to MSB (16) */
 
-#define INT_Stack_Overflow     1       /* Local interrupt */
-#define INT_Global_GC          2
-#define INT_GC                 4       /* Local interrupt */
-#define INT_Global_1           8
-#define INT_Character          16      /* Local interrupt */
-#define INT_AFTER_GC           32      /* Local interrupt */
-#define INT_Timer              64      /* Local interrupt */
-#define INT_Global_3           128
-#define INT_Suspend            256     /* Local interrupt */
-#define INT_Global_Mask                \
-  (INT_Global_GC | INT_Global_1 | INT_Global_3)
+#define INT_Stack_Overflow     0x0001  /* Local interrupt */
+#define INT_Global_GC          0x0002
+#define INT_GC                 0x0004  /* Local interrupt */
+#define INT_Global_1           0x0008
+#define INT_Character          0x0010  /* Local interrupt */
+#define INT_AFTER_GC           0x0020  /* Local interrupt */
+#define INT_Timer              0x0040  /* Local interrupt */
+#define INT_Global_3           0x0080
+#define INT_Suspend            0x0100  /* Local interrupt */
 
 /* Descartes profiling interrupts */
 
-#define INT_IPPB_Flush         512     /* Local interrupt */
-#define INT_IPPB_Extend               1024     /* Local interrupt */
-#define INT_PCBPB_Flush               2048     /* Local interrupt */
-#define INT_PCBPB_Extend       4096    /* Local interrupt */
-#define INT_HCBPB_Flush               8192     /* Local interrupt */
-#define INT_HCBPB_Extend      16384    /* Local interrupt */
+#define INT_IPPB_Flush         0x0200  /* Local interrupt */
+#define INT_IPPB_Extend                0x0400  /* Local interrupt */
+#define INT_PCBPB_Flush                0x0800  /* Local interrupt */
+#define INT_PCBPB_Extend       0x1000  /* Local interrupt */
+#define INT_HCBPB_Flush                0x2000  /* Local interrupt */
+#define INT_HCBPB_Extend       0x4000  /* Local interrupt */
 
-#define INT_Step_CC          32768             
+#define INT_Step_CC            0x8000
 
-#define Global_GC_Level                1
-#define Global_1_Level         3
-#define Global_3_Level         7
-#define MAX_INTERRUPT_NUMBER   15      /* 2^15 = INT_Step_CC */
+#define INT_Global_Mask (INT_Global_GC | INT_Global_1 | INT_Global_3)
+
+#define Global_GC_Level                0x1
+#define Global_1_Level         0x3
+#define Global_3_Level         0x7
+#define MAX_INTERRUPT_NUMBER   0xF     /* 2^15 = INT_Step_CC */
 
 #define INT_Mask               ((1 << (MAX_INTERRUPT_NUMBER + 1)) - 1)
 \f