From e2d7deb82cd25b47cbccda0c48ab39e17c5c536d Mon Sep 17 00:00:00 2001 From: Xander Date: Thu, 17 Aug 2023 21:09:27 +0200 Subject: Started implementing paging --- kernel/prelude/SATS/safe_casts.sats | 1 + 1 file changed, 1 insertion(+) create mode 100644 kernel/prelude/SATS/safe_casts.sats (limited to 'kernel/prelude/SATS') 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 -- cgit v1.2.3