From 70cca66089896730797a71ba545c7f4e87b12975 Mon Sep 17 00:00:00 2001 From: Xander Date: Sun, 20 Aug 2023 22:57:07 +0200 Subject: implement page --- kernel/prelude/SATS/safe_casts.sats | 1 + 1 file changed, 1 insertion(+) (limited to 'kernel/prelude') diff --git a/kernel/prelude/SATS/safe_casts.sats b/kernel/prelude/SATS/safe_casts.sats index 8850ef6..f93a2be 100644 --- a/kernel/prelude/SATS/safe_casts.sats +++ b/kernel/prelude/SATS/safe_casts.sats @@ -10,3 +10,4 @@ castfn ulint_to_Ptr0(v : ulint):<> Ptr0 castfn sz_to_Ptr0(v : size_t):<> Ptr0 castfn Ptr1_to_sz(v : Ptr1):<> sizeGte(1) +castfn Ptr0_to_sz(v : Ptr0):<> size_t -- cgit v1.2.3