From 1af7591e37d09ddcd734ea07d0e999cf61c8bc5e Mon Sep 17 00:00:00 2001
From: vetch <vetch97@gmail.com>
Date: Mon, 13 Jan 2020 12:40:38 +0100
Subject: Great Reorganisation, modify structure and makefile

---
 src/arm/PL1/kernel/paging.h | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/arm/PL1/kernel/paging.h

(limited to 'src/arm/PL1/kernel/paging.h')

diff --git a/src/arm/PL1/kernel/paging.h b/src/arm/PL1/kernel/paging.h
new file mode 100644
index 0000000..4ac8efa
--- /dev/null
+++ b/src/arm/PL1/kernel/paging.h
@@ -0,0 +1,14 @@
+#ifndef PAGING_H
+#define PAGING_H
+
+void setup_flat_map(void);
+
+void setup_pager_structures(uint32_t available_mem);
+
+#define SECTION_NULL 0xffff
+
+// returns section number or SECTION_NULL in case of failure
+uint16_t claim_and_map_section
+(void *owner, uint16_t where_to_map, uint8_t access_permissions);
+
+#endif // PAGING_H
-- 
cgit v1.2.3