From f57f38edbd7f1ebc1af22cffc71648cbef2c1a2d Mon Sep 17 00:00:00 2001
From: "Justin C. Miller" <justin@devjustinian.com>
Date: Fri, 5 Jul 2019 20:52:04 -0700
Subject: [PATCH] Remove old ident_page_flags

---
 src/kernel/memory_bootstrap.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/kernel/memory_bootstrap.cpp b/src/kernel/memory_bootstrap.cpp
index 0b54c1b..ceca412 100644
--- a/src/kernel/memory_bootstrap.cpp
+++ b/src/kernel/memory_bootstrap.cpp
@@ -16,8 +16,6 @@ using memory::kernel_max_heap;
 using memory::kernel_offset;
 using memory::page_offset;
 
-static const unsigned ident_page_flags = 0xb;
-
 kutil::vm_space g_kspace;
 kutil::heap_allocator g_kernel_heap;
 bool g_memory_initialized = false;