From fcf755d4f03f6fba974d11307659e2e96f9696e7 Mon Sep 17 00:00:00 2001
From: Xander <xander@biltopia.org>
Date: Sat, 19 Aug 2023 15:04:23 +0200
Subject: Implemented entry

---
 kernel/memory/paging.sats | 35 -----------------------------------
 1 file changed, 35 deletions(-)
 delete mode 100644 kernel/memory/paging.sats

(limited to 'kernel/memory/paging.sats')

diff --git a/kernel/memory/paging.sats b/kernel/memory/paging.sats
deleted file mode 100644
index 477e942..0000000
--- a/kernel/memory/paging.sats
+++ /dev/null
@@ -1,35 +0,0 @@
-#define ENTRY_COUNT 512
-
-staload "./frame.sats"
-staload "lib/SATS/valid.sats"
-
-abstype paddr_type(l:addr) = ptr(l)
-typedef paddr(l:addr) = paddr_type(l)
-
-abstype vaddr_type(l:addr) = ptr(l)
-typedef vaddr(l:addr) = vaddr_type(l)
-
-abst@ype entry_type = uint64
-typedef entry_t = entry_type
-
-typedef page_t = @{
-  num = size_t
-}
-
-datatype entry_flag = 
-  | PRESENT
-  | WRITABLE
-  | USER_ACCESSIBLE 
-  | WRITE_THROUGH 
-  | NO_CACHE 
-  | ACCESSED 
-  | DIRTY 
-  | HUGE_PAGE 
-  | GLOBAL 
-  | NO_EXECUTE 
-
-fn is_unused(entry_t) : bool
-fn set_unused(&entry_t) : void
-
-fn flag_contains(entry_t,entry_flag) : bool
-fn test() : [b : bool] valid(int,b)
-- 
cgit v1.2.3