diff options
Diffstat (limited to 'kernel/bootinfo/multiboot.sats')
-rw-r--r-- | kernel/bootinfo/multiboot.sats | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kernel/bootinfo/multiboot.sats b/kernel/bootinfo/multiboot.sats index 16be379..2dfa205 100644 --- a/kernel/bootinfo/multiboot.sats +++ b/kernel/bootinfo/multiboot.sats @@ -55,9 +55,9 @@ macdef invalid_area = @{ fun init(p : Ptr1) :void -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_memory_mappings_n () :<!ref> size_t +fn get_memory_mapping (n : size_t) :<!ref> memory_area_t +fn print_memory_mappings () :<!ref,!wrt> void // Print all available memory area's fn get_elf_headers_n () : size_t fn get_elf_header (n : size_t) : elf64_shdr_t |