1 files changed, 0 insertions, 15 deletions
diff --git a/arch/x86_64/page-mapping.c b/arch/x86_64/page-mapping.c
deleted file mode 100644
index 0de5bfa..0000000
--- a/arch/x86_64/page-mapping.c
+++ /dev/null
@@ -1,15 +0,0 @@
-#include "arch/x86_64/page-mapping.h"
-#include "arch/x86_64/page.h"
-#include <stddef.h>
-
-pmle_t*
-page_mapping_traverse(pmle_t *pml4, uint8_t depth, uint16_t *path)
-{
-    uint16_t pathi = path[0];
-
-    pmle_t *pmle = &pml4[pathi];
-    pmle_t *pmle_table = vmem_phys_tovirt(pmle->paddr << 12);
-    if(depth == 0) return pmle;
-    if(!pmle->p) return NULL;
-    return page_mapping_traverse(pmle_table, depth - 1, path + 1);
-}