summaryrefslogtreecommitdiff
path: root/sys/arch/amd64/include/pte.h
diff options
context:
space:
mode:
authorMichael Shalayeff <mickey@cvs.openbsd.org>2004-01-28 01:39:41 +0000
committerMichael Shalayeff <mickey@cvs.openbsd.org>2004-01-28 01:39:41 +0000
commiteb2015b73fc7e8f74be0338c16e873a01653fe03 (patch)
treea0a1beaa9bc6601b949ea8937d79f939833b3cd3 /sys/arch/amd64/include/pte.h
parentfc744b6d0908de21ef8f71c7e15dd3b113e9aad8 (diff)
an amd64 arch support.
hacked by art@ from netbsd sources and then later debugged by me into the shape where it can host itself. no bootloader yet as needs redoing from the recent advanced i386 sources (anyone? ;)
Diffstat (limited to 'sys/arch/amd64/include/pte.h')
-rw-r--r--sys/arch/amd64/include/pte.h137
1 files changed, 137 insertions, 0 deletions
diff --git a/sys/arch/amd64/include/pte.h b/sys/arch/amd64/include/pte.h
new file mode 100644
index 00000000000..eaa883d3f6f
--- /dev/null
+++ b/sys/arch/amd64/include/pte.h
@@ -0,0 +1,137 @@
+/* $OpenBSD: pte.h,v 1.1 2004/01/28 01:39:39 mickey Exp $ */
+/* $NetBSD: pte.h,v 1.1 2003/04/26 18:39:47 fvdl Exp $ */
+
+/*
+ * Copyright (c) 2001 Wasabi Systems, Inc.
+ * All rights reserved.
+ *
+ * Written by Frank van der Linden for Wasabi Systems, Inc.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ * notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ * notice, this list of conditions and the following disclaimer in the
+ * documentation and/or other materials provided with the distribution.
+ * 3. All advertising materials mentioning features or use of this software
+ * must display the following acknowledgement:
+ * This product includes software developed for the NetBSD Project by
+ * Wasabi Systems, Inc.
+ * 4. The name of Wasabi Systems, Inc. may not be used to endorse
+ * or promote products derived from this software without specific prior
+ * written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY WASABI SYSTEMS, INC. ``AS IS'' AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
+ * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL WASABI SYSTEMS, INC
+ * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ */
+
+#ifndef _AMD64_PTE_H_
+#define _AMD64_PTE_H_
+
+/*
+ * amd64 MMU hardware structure:
+ *
+ * the (first generation) amd64 MMU is a 4-level MMU which maps 2^48 bytes
+ * of virtual memory. The pagesize we use is is 4K (4096 [0x1000] bytes),
+ * although 2M and 4M can be used as well. The indexes in the levels
+ * are 9 bits wide (512 64bit entries per level), dividing the bits
+ * 9-9-9-9-12.
+ *
+ * The top level table, called PML4, contains 512 64bit entries pointing
+ * to 3rd level table. The 3rd level table is called the 'page directory
+ * pointers directory' and has 512 entries pointing to page directories.
+ * The 2nd level is the page directory, containing 512 pointers to
+ * page table pages. Lastly, level 1 consists of pages containing 512
+ * PTEs.
+ *
+ * Simply put, levels 4-1 all consist of pages containing 512
+ * entries pointing to the next level. Level 0 is the actual PTEs
+ * themselves.
+ *
+ * For a description on the other bits, which are i386 compatible,
+ * see the i386 pte.h
+ */
+
+#if !defined(_LOCORE)
+
+/*
+ * here we define the data types for PDEs and PTEs
+ */
+
+typedef u_int64_t pd_entry_t; /* PDE */
+typedef u_int64_t pt_entry_t; /* PTE */
+
+#endif
+
+/*
+ * now we define various for playing with virtual addresses
+ */
+
+#define L1_SHIFT 12
+#define L2_SHIFT 21
+#define L3_SHIFT 30
+#define L4_SHIFT 39
+#define NBPD_L1 (1ULL << L1_SHIFT) /* # bytes mapped by L1 ent (4K) */
+#define NBPD_L2 (1ULL << L2_SHIFT) /* # bytes mapped by L2 ent (2MB) */
+#define NBPD_L3 (1ULL << L3_SHIFT) /* # bytes mapped by L3 ent (1G) */
+#define NBPD_L4 (1ULL << L4_SHIFT) /* # bytes mapped by L4 ent (512G) */
+
+#define L4_MASK 0x0000ff8000000000
+#define L3_MASK 0x0000007fc0000000
+#define L2_MASK 0x000000003fe00000
+#define L1_MASK 0x00000000001ff000
+
+#define L4_FRAME L4_MASK
+#define L3_FRAME (L4_FRAME|L3_MASK)
+#define L2_FRAME (L3_FRAME|L2_MASK)
+#define L1_FRAME (L2_FRAME|L1_MASK)
+
+/*
+ * PDE/PTE bits. These are no different from their i386 counterparts.
+ */
+
+#define PG_V 0x0000000000000001 /* valid */
+#define PG_RO 0x0000000000000000 /* read-only */
+#define PG_RW 0x0000000000000002 /* read-write */
+#define PG_u 0x0000000000000004 /* user accessible */
+#define PG_PROT 0x0000000000000006
+#define PG_N 0x0000000000000018 /* non-cacheable */
+#define PG_U 0x0000000000000020 /* used */
+#define PG_M 0x0000000000000040 /* modified */
+#define PG_PS 0x0000000000000080 /* 2MB page size */
+#define PG_G 0x0000000000000100 /* not flushed */
+#define PG_AVAIL1 0x0000000000000200
+#define PG_AVAIL2 0x0000000000000400
+#define PG_AVAIL3 0x0000000000000800
+#define PG_NX 0x8000000000000000 /* non-executable */
+#define PG_FRAME 0xfffffffffffff000
+
+#define PG_LGFRAME 0xffffffffffc00000 /* large (2M) page frame mask */
+
+/*
+ * short forms of protection codes
+ */
+
+#define PG_KR 0x0000000000000000 /* kernel read-only */
+#define PG_KW 0x0000000000000002 /* kernel read-write */
+
+/*
+ * page protection exception bits
+ */
+
+#define PGEX_P 0x01 /* protection violation (vs. no mapping) */
+#define PGEX_W 0x02 /* exception during a write cycle */
+#define PGEX_U 0x04 /* exception while in user mode (upl) */
+
+#endif /* _AMD64_PTE_H_ */