--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/include/mmu.h	Sun Oct 22 18:25:39 2017 +0900
@@ -0,0 +1,82 @@
+/*****************************************************************
+*       mmu.h
+*       by Zhiyi Huang, hzy@cs.otago.ac.nz
+*       University of Otago
+*
+********************************************************************/
+
+
+#define MBYTE		0x100000
+#define K_PDX_BASE	0x4000
+#define K_PTX_BASE	0x3000
+
+#define CACHELINESIZE   32
+
+/*
+ * page table entries.
+*/
+
+#define UNMAPPED	0x00000000
+
+#define COARSE		(0<<4|1)
+#define SECTION		(0<<4|2)
+
+#define LARGE		0x00000001
+#define SMALL		0x00000002
+#define BUFFERED	0x00000004
+#define CACHED		0x00000008
+#define DOMAIN0		0
+
+#define NOACCESS	0
+#define K_RW		1
+#define U_AP		2
+#define U_RW		3
+
+#define ACCESS_PERM(n, v)	(((v) & 3) << (((n) * 2) + 4))
+#define PDX_AP(ap)		(ACCESS_PERM(3, (ap)))
+#define PTX_AP(ap) 		(ACCESS_PERM(3, (ap)) | ACCESS_PERM(2, (ap)) \
+				| ACCESS_PERM(1, (ap)) | ACCESS_PERM(0, (ap)))
+
+#define HVECTORS        0xffff0000
+
+// A virtual address 'la' has a three-part structure as follows:
+//
+// +--------12------+-------8--------+---------12----------+
+// | Page Directory |   Page Table   | Offset within Page  |
+// |      Index     |      Index     |                     |
+// +----------------+----------------+---------------------+
+//  \--- PDX(va) --/ \--- PTX(va) --/
+
+// page directory index
+#define PDX(va)         (((uint)(va) >> PDXSHIFT) & 0xFFF)
+
+// page table index
+#define PTX(va)         (((uint)(va) >> PTXSHIFT) & 0xFF)
+
+// construct virtual address from indexes and offset
+#define PGADDR(d, t, o) ((uint)((d) << PDXSHIFT | (t) << PTXSHIFT | (o)))
+
+// Address in page table or page directory entry
+#define PTE_ADDR(pte)   ((uint)(pte) & ~0xFFF)
+#define PTE_FLAGS(pte)  ((uint)(pte) &  0xFFF)
+
+// Page directory and page table constants.
+#define NPDENTRIES      1024    // # directory entries per page directory
+#define NPTENTRIES      1024    // # PTEs per page table
+#define PGSIZE          4096    // bytes mapped by a page
+
+#define PGSHIFT         12      // log2(PGSIZE)
+#define PTXSHIFT        12      // offset of PTX in a linear address
+#define PDXSHIFT        20      // offset of PDX in a linear address
+
+
+#define PGROUNDUP(sz)  (((sz)+PGSIZE-1) & ~(PGSIZE-1))
+#define PGROUNDDOWN(a) (((a)) & ~(PGSIZE-1))
+
+#define PGDIR_BASE	P2V(K_PDX_BASE)
+
+#define KVMPDXATTR       DOMAIN0|PDX_AP(U_RW)|SECTION|CACHED|BUFFERED
+
+#define UVMPDXATTR 	DOMAIN0|COARSE
+#define UVMPTXATTR	PTX_AP(U_RW)|CACHED|BUFFERED|SMALL
+