From cef3f6bdddfe768e7a1a84edcec76c11c1634941 Mon Sep 17 00:00:00 2001 From: Xander Date: Sun, 6 Aug 2023 17:44:45 +0200 Subject: Implemented panic --- kernel/bootinfo/multiboot.sats | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'kernel/bootinfo/multiboot.sats') diff --git a/kernel/bootinfo/multiboot.sats b/kernel/bootinfo/multiboot.sats index 6be1e73..9a41f29 100644 --- a/kernel/bootinfo/multiboot.sats +++ b/kernel/bootinfo/multiboot.sats @@ -54,14 +54,14 @@ macdef invalid_area = @{ fun init(p : Ptr1) :void -fn get_memory_mappings_n () : [n:nat] size_t n +fn get_memory_mappings_n () : size_t fn get_memory_mapping (n : size_t) : memory_area_t fn print_memory_mappings () : void // Print all available memory area's -(* fn get_elf_headers_n () : [n:nat] size_t n *) -(* fn get_elf_header (n : size_t) : elf64_shdr_t *) -(* fn print_elf_headers () : void *) -(**) -(* fn get_kernel_ranges () : (Ptr,Ptr) // (kernel start, kernel end) *) -(* fn get_multiboot_ranges () : (Ptr0,Ptr0) // (bootinfo start, bootinfo end) *) +fn get_elf_headers_n () : [n:nat] size_t n +fn get_elf_header (n : size_t) : elf64_shdr_t +fn print_elf_headers () : void + +fn get_kernel_ranges () : (Ptr,Ptr) // (kernel start, kernel end) +fn get_multiboot_ranges () : (Ptr0,Ptr0) // (bootinfo start, bootinfo end) -- cgit v1.2.3