From e2d7deb82cd25b47cbccda0c48ab39e17c5c536d Mon Sep 17 00:00:00 2001
From: Xander <xander@biltopia.org>
Date: Thu, 17 Aug 2023 21:09:27 +0200
Subject: Started implementing paging

---
 kernel/prelude/SATS/safe_casts.sats | 1 +
 kernel/prelude/kernel_prelude.hats  | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 kernel/prelude/SATS/safe_casts.sats

(limited to 'kernel/prelude')

diff --git a/kernel/prelude/SATS/safe_casts.sats b/kernel/prelude/SATS/safe_casts.sats
new file mode 100644
index 0000000..50a68a8
--- /dev/null
+++ b/kernel/prelude/SATS/safe_casts.sats
@@ -0,0 +1 @@
+castfn u2uint64{v : nat | v <= 0xFFFFFFFFFFFFFFFF}(v : uint v) : uint64 v
diff --git a/kernel/prelude/kernel_prelude.hats b/kernel/prelude/kernel_prelude.hats
index 39e7560..514c2c2 100644
--- a/kernel/prelude/kernel_prelude.hats
+++ b/kernel/prelude/kernel_prelude.hats
@@ -4,6 +4,7 @@
 #include "share/atspre_staload.hats"
 
 staload "./DATS/print.dats"
+staload "./SATS/safe_casts.sats"
 
 #endif
 
-- 
cgit v1.2.3