summaryrefslogtreecommitdiff
path: root/kernel/old/include/vmtables.h
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/old/include/vmtables.h')
-rw-r--r--kernel/old/include/vmtables.h43
1 files changed, 0 insertions, 43 deletions
diff --git a/kernel/old/include/vmtables.h b/kernel/old/include/vmtables.h
deleted file mode 100644
index 17f6e0a..0000000
--- a/kernel/old/include/vmtables.h
+++ /dev/null
@@ -1,43 +0,0 @@
-/**
-** @file vmtables.h
-**
-** @author CSCI-452 class of 20245
-**
-** @brief Predefined VM tables
-*/
-
-#ifndef VMTABLES_H_
-#define VMTABLES_H_
-
-#include <defs.h>
-#include <types.h>
-#include <vm.h>
-
-#ifndef ASM_SRC
-
-/*
-** Initial page directory, for when the kernel is starting up
-**
-** we use large (4MB) pages here to allow us to use a one-level
-** paging hierarchy; the kernel will create a new page table
-** hierarchy once memory is initialized
-*/
-extern pde_t firstpdir[];
-
-/*
-** "Identity" page map table.
-**
-** This just maps the first 4MB of physical memory. It is initialized
-** in vm_init().
-*/
-extern pte_t id_map[];
-
-/*
-** Kernel address mappings, present in every page table
-*/
-extern mapping_t kmap[];
-extern const uint32_t n_kmap;
-
-#endif /* !ASM_SRC */
-
-#endif