diff options
| author | Xander <xander@biltopia.org> | 2023-07-24 21:22:40 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-07-24 21:22:40 +0200 |
| commit | 6cacc45cdf11ca0e605bb7c6356c569c8aed760b (patch) | |
| tree | ab1f695570982d85baabf7b554b75154d48502af /kernel/bootinfo | |
| parent | 58096a11ea200d4caf656bac712cde24daa8a697 (diff) | |
| download | ats-os-6cacc45cdf11ca0e605bb7c6356c569c8aed760b.tar.xz ats-os-6cacc45cdf11ca0e605bb7c6356c569c8aed760b.zip | |
Prepare big dynload refactor
Diffstat (limited to 'kernel/bootinfo')
| -rw-r--r-- | kernel/bootinfo/multiboot.sats | 2 |
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 |