+// (c) 2020 Aaron Taylor <ataylor at subgeniuskitty dot com>
+// See License.txt file for copyright and license details.
+
+#ifndef SGK_PDP11_MMU_H
+#define SGK_PDP11_MMU_H
+
+/*
+ * Initializes the MMU with a 22-bit kernel-mode I-space map that relocates the
+ * MMIO page to the physical MMIO region at the top of the physical address
+ * space while leaving the lower 56kB identity mapped. Assumes the CPU is
+ * already running in kernel mode with MMU hardware disabled.
+ */
+void init_mmu(void);
+
+#endif // SGK_PDP11_MMU_H