diff options
Diffstat (limited to 'kernel/bootinfo/multiboot.sats')
| -rw-r--r-- | kernel/bootinfo/multiboot.sats | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/kernel/bootinfo/multiboot.sats b/kernel/bootinfo/multiboot.sats index 963e2e6..0a0dce8 100644 --- a/kernel/bootinfo/multiboot.sats +++ b/kernel/bootinfo/multiboot.sats @@ -59,5 +59,11 @@ fn get_elf_header (p : !bootptr, n : size_t) : elf64_shdr_t fn print_elf_headers (p : !bootptr) : void fn get_kernel_ranges (p : !bootptr) : (Ptr,Ptr) // (kernel start, kernel end) -fn get_bootinfo_ranges (p : !bootptr) : (ptr,ptr) // (bootinfo start, bootinfo end) +fn get_multiboot_ranges (p : !bootptr) : (Ptr0,Ptr0) // (bootinfo start, bootinfo end) +macdef invalid_area = @{ + base_addr = the_null_ptr, + length = i2sz(1), + type = 0u, + reserved = 0u +} |