1 files changed, 2 insertions, 11 deletions
diff --git a/memory.h b/memory.h
index 1c9ae35..d369694 100644
--- a/memory.h
+++ b/memory.h
@@ -24,24 +24,15 @@ extern const char __start;
 #define TRANSLATION_TABLE_END				\
   (TRANSLATION_TABLE_BASE + (uint32_t) (4096 * 4))
 
-#define LIBKERNEL_SECTION_START					\
-  (((TRANSLATION_TABLE_END - (uint32_t) 1) & ~((uint32_t) 0xfffff))	\
+#define PRIVILEGED_MEMORY_END					     \
+  (((TRANSLATION_TABLE_END - (uint32_t) 1) & ~((uint32_t) 0xfffff))  \
    + SECTION_SIZE)
 
-#define LIBKERNEL_SECTION_END			\
-  (LIBKERNEL_SECTION_START + SECTION_SIZE)
-
-// section for libkernel is flat-mapped
-#define LIBKERNEL_SECTION_NUMBER (LIBKERNEL_SECTION_START >> 20)
-
-#define PRIVILEGED_MEMORY_END LIBKERNEL_SECTION_END
-
 #define UNPRIVILEGED_MEMORY_START PRIVILEGED_MEMORY_END
 #define UNPRIVILEGED_MEMORY_END			\
   (UNPRIVILEGED_MEMORY_START + SECTION_SIZE)
 
 #define PL0_SECTION_NUMBER     ((uint32_t) 0b101010101010)
-#define PL0_SECTION_NUMBER_STR "0b101010101010"
 
 #define VIRTUAL_PL0_MEMORY_START (PL0_SECTION_NUMBER << 20)