diff options
Diffstat (limited to 'kernel/bootinfo/multiboot.dats')
| -rw-r--r-- | kernel/bootinfo/multiboot.dats | 8 |
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 |