From 567b4f126ecd7b4e332107ff5359016da2b8ca52 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 7 Apr 2003 20:33:03 +0000
Subject: [PATCH] Use hex notation for interrupt mask bits.

---
 v7/src/microcode/intrpt.h | 49 ++++++++++++++++++++-------------------
 1 file changed, 25 insertions(+), 24 deletions(-)

diff --git a/v7/src/microcode/intrpt.h b/v7/src/microcode/intrpt.h
index 58be2cb55..58e54ceb5 100644
--- 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)
 
-- 
2.25.1