Initial source

1 files changed, 64 insertions, 0 deletions

diff --git a/i386/i386/vm_param.h b/i386/i386/vm_param.h
new file mode 100644
index 0000000..30e9418
--- /dev/null
+++ b/i386/i386/vm_param.h
@@ -0,0 +1,64 @@
+/* 
+ * Copyright (c) 1994 The University of Utah and
+ * the Computer Systems Laboratory at the University of Utah (CSL).
+ * All rights reserved.
+ *
+ * Permission to use, copy, modify and distribute this software is hereby
+ * granted provided that (1) source code retains these copyright, permission,
+ * and disclaimer notices, and (2) redistributions including binaries
+ * reproduce the notices in supporting documentation, and (3) all advertising
+ * materials mentioning features or use of this software display the following
+ * acknowledgement: ``This product includes software developed by the
+ * Computer Systems Laboratory at the University of Utah.''
+ *
+ * THE UNIVERSITY OF UTAH AND CSL ALLOW FREE USE OF THIS SOFTWARE IN ITS "AS
+ * IS" CONDITION.  THE UNIVERSITY OF UTAH AND CSL DISCLAIM ANY LIABILITY OF
+ * ANY KIND FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
+ *
+ * CSL requests users of this software to return to csl-dist@cs.utah.edu any
+ * improvements that they make and grant CSL redistribution rights.
+ *
+ *      Author: Bryan Ford, University of Utah CSL
+ */
+#ifndef _I386_KERNEL_I386_VM_PARAM_
+#define _I386_KERNEL_I386_VM_PARAM_
+
+/* XXX use xu/vm_param.h */
+#include <mach/vm_param.h>
+
+/* The kernel address space is 1GB, starting at virtual address 0.  */
+#define VM_MIN_KERNEL_ADDRESS	((vm_offset_t) 0x00000000)
+#define VM_MAX_KERNEL_ADDRESS	((vm_offset_t) 0x40000000)
+
+/* The kernel virtual address space is actually located
+   at high linear addresses.
+   This is the kernel address range in linear addresses.  */
+#define LINEAR_MIN_KERNEL_ADDRESS	((vm_offset_t) 0xc0000000)
+#define LINEAR_MAX_KERNEL_ADDRESS	((vm_offset_t) 0xffffffff)
+
+#define KERNEL_STACK_SIZE	(1*I386_PGBYTES)
+#define INTSTACK_SIZE		(1*I386_PGBYTES)
+						/* interrupt stack size */
+
+/*
+ *	Conversion between 80386 pages and VM pages
+ */
+
+#define trunc_i386_to_vm(p)	(atop(trunc_page(i386_ptob(p))))
+#define round_i386_to_vm(p)	(atop(round_page(i386_ptob(p))))
+#define vm_to_i386(p)		(i386_btop(ptoa(p)))
+
+/*
+ *	Physical memory is direct-mapped to virtual memory
+ *	starting at virtual address phys_mem_va.
+ */
+extern vm_offset_t phys_mem_va;
+#define phystokv(a)	((vm_offset_t)(a) + phys_mem_va)
+
+/*
+ *	Kernel virtual memory is actually at 0xc0000000 in linear addresses.
+ */
+#define kvtolin(a)	((vm_offset_t)(a) + LINEAR_MIN_KERNEL_ADDRESS)
+#define lintokv(a)	((vm_offset_t)(a) - LINEAR_MIN_KERNEL_ADDRESS)
+
+#endif _I386_KERNEL_I386_VM_PARAM_