Final refactoring for opts: frames

1 files changed, 4 insertions, 4 deletions

diff --git a/kernel/bootinfo/multiboot.dats b/kernel/bootinfo/multiboot.dats
index ff10c40..518962d 100644
--- a/kernel/bootinfo/multiboot.dats
+++ b/kernel/bootinfo/multiboot.dats
@@ -9,7 +9,7 @@ staload UN = "prelude/SATS/unsafe.sats"
 
 local
 
-  // Private function
+  // Private functions
   extern castfn ui2sz (n : uint) :<> [n : nat] size_t n
   extern fn _get_memory_mappings_n(boot_info: !boot_info_t):<> [n:nat] size_t n
   extern fn _get_memory_mapping(boot_info: !boot_info_t,n : size_t):<> memory_area_t
@@ -54,7 +54,7 @@ in
         if (type != 0u) then
             loop(boot_info,ptr_add<uint8>(p, next))
         else
-          unsafe_init(boot_info)
+          unsafe_init(boot_info) //UNSAFE:
       end
 
       implement initialize$fwork<boot_info_t>(v) = (
@@ -73,13 +73,13 @@ in
     implement get_memory_mappings_n() = let
       implement exec$fwork<boot_info_t><size_t>(v) = _get_memory_mappings_n(v)
     in
-      exec<boot_info_t><size_t>(bootinfo_ref)
+      $effmask_wrt(exec<boot_info_t><size_t>(bootinfo_ref))
     end
 
     implement get_memory_mapping(n) = let
       implement exec$fwork<boot_info_t><memory_area_t>(v) = _get_memory_mapping(v,n)
     in
-      exec<boot_info_t><memory_area_t>(bootinfo_ref)
+      $effmask_wrt(exec<boot_info_t><memory_area_t>(bootinfo_ref))
     end
 
     implement print_memory_mappings() = let