1 files changed, 45 insertions, 0 deletions
diff --git a/include/hilbert/kernel/paging.hpp b/include/hilbert/kernel/paging.hpp
new file mode 100644
index 0000000..2cf6f5c
--- /dev/null
+++ b/include/hilbert/kernel/paging.hpp
@@ -0,0 +1,45 @@
+#ifndef HILBERT_KERNEL_PAGING_HPP
+#define HILBERT_KERNEL_PAGING_HPP
+
+#include <cstdint>
+
+//in paging.asm
+extern "C" [[noreturn]] void switch_to_kernel_p4(void (*and_then_jump_to)());
+
+namespace hilbert::kernel::paging {
+
+  void mark_all_pram_used();
+  void mark_all_vram_free();
+
+  void mark_pram_region_free(uint64_t start_addr, uint64_t end_addr);
+  void mark_vram_region_used(uint64_t start_addr, uint64_t end_addr);
+
+  uint64_t find_unmapped_vram_region(uint64_t page_count);
+
+  uint64_t encode_pte(uint64_t addr, bool user, bool write, bool execute);
+
+  void init_kernel_page_tables(uint64_t kernel_offset);
+
+  uint64_t take_pram_page();
+
+  void map_kernel_stacks();
+
+  void map_kernel_page(
+    uint64_t paddr, uint64_t vaddr, bool write, bool execute);
+
+  void unmap_kernel_page(uint64_t vaddr);
+
+  //maps writable and not executable
+  void *map_new_kernel_pages(uint64_t count);
+
+  //maps writable and not executable
+  void map_new_kernel_page(uint64_t &vaddr_out, uint64_t &paddr_out);
+
+  uint64_t get_used_vram_page_count();
+  uint64_t get_free_pram_page_count();
+
+  extern uint64_t kernel_p4e;
+
+}
+
+#endif