From d177285a761de33b86fcbde72fd718137bfa6f86 Mon Sep 17 00:00:00 2001
From: Xander <xander@biltopia.org>
Date: Thu, 17 Aug 2023 22:08:21 +0200
Subject: Add valid/unvalid type, replacement of optional

---
 kernel/memory/paging.sats | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/kernel/memory/paging.sats b/kernel/memory/paging.sats
index 784f567..477e942 100644
--- a/kernel/memory/paging.sats
+++ b/kernel/memory/paging.sats
@@ -1,6 +1,7 @@
 #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)
@@ -31,3 +32,4 @@ 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