aboutsummaryrefslogtreecommitdiff
path: root/kernel/bootinfo/multiboot.sats
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/bootinfo/multiboot.sats')
-rw-r--r--kernel/bootinfo/multiboot.sats2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/bootinfo/multiboot.sats b/kernel/bootinfo/multiboot.sats
index 0a0dce8..684286b 100644
--- a/kernel/bootinfo/multiboot.sats
+++ b/kernel/bootinfo/multiboot.sats
@@ -52,7 +52,7 @@ fun boot_info_init(p : Ptr1) : bootptr
fn get_memory_mappings_n {l : agz} (pf : !boot_info_t@l | p : ptr l) : [n:nat] size_t n
fn get_memory_mapping {l:agz} (pf : !boot_info_t @ l | p : ptr l, n : size_t) : memory_area_t
-fn print_memory_mappings (p : !bootptr) : void
+fn print_memory_mappings (p : !bootptr) : void // Print all available memory area's
fn get_elf_headers_n (p : !bootptr) : [n:nat] size_t n
fn get_elf_header (p : !bootptr, n : size_t) : elf64_shdr_t