--- Gnu-Mach/i386/i386at/model_dep.h	2020/09/02 04:49:24	1.1.1.1
+++ Gnu-Mach/i386/i386at/model_dep.h	2020/09/02 04:53:38	1.1.1.2
@@ -19,8 +19,17 @@
 #ifndef _MODEL_DEP_H_
 #define _MODEL_DEP_H_
 
+#include <i386/vm_param.h>
 #include <mach/vm_prot.h>
 
+/*
+ * Interrupt stack.
+ */
+extern vm_offset_t int_stack_top, int_stack_base;
+
+/* Check whether P points to the interrupt stack.  */
+#define ON_INT_STACK(P)	(((P) & ~(KERNEL_STACK_SIZE-1)) == int_stack_base)
+
 extern int timemmap(dev_t dev, vm_offset_t off, vm_prot_t prot);
 
 void inittodr(void);