+/* machine.h 4.1 81/05/14 */
+
+#include <sys/vm.h>
+
+#define PAGSIZ (NBPG*CLSIZE)
+
+#define DBNAME "adb\n"
+#define LPRMODE "%R"
+#define OFFMODE "+%R"
+#define TXTRNDSIZ PAGSIZ
+
+#define MAXINT 0x7fffffff
+#define MAXSTOR ((1L<<31) - ctob(UPAGES))
+#define MAXFILE 0xffffffff
+
+/*
+ * INSTACK tells whether its argument is a stack address.
+ * INUDOT tells whether its argument is in the (extended) u. area.
+ * These are used for consistency checking and dont have to be exact.
+ *
+ * INKERNEL tells whether its argument is a kernel space address.
+ * KVTOPH trims a kernel virtal address back to its offset
+ * in the kernel address space.
+ */
+#define INSTACK(x) (((x)&0xf0000000) == 0x70000000)
+#define INUDOT(x) (((x)&0xf0000000) == 0x70000000)
+#define INKERNEL(x) (((x)&0xf0000000) == 0x80000000)
+
+#define KVTOPH(x) ((x)&~ 0x80000000)
+#define KERNOFF 0x80000000