1 files changed, 0 insertions, 45 deletions
diff --git a/include/hilbert/kernel/paging.hpp b/include/hilbert/kernel/paging.hpp
deleted file mode 100644
index 2cf6f5c..0000000
--- a/include/hilbert/kernel/paging.hpp
+++ /dev/null
@@ -1,45 +0,0 @@
-#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