aboutsummaryrefslogtreecommitdiff
path: root/kernel/bootinfo/multiboot.sats
diff options
context:
space:
mode:
authorXander <xander@biltopia.org>2023-08-08 23:13:00 +0200
committerXander <xander@biltopia.org>2023-08-08 23:13:00 +0200
commitae3ad4d8b7004f17376ee0a8bfae931788194b8b (patch)
treeef607954d6d551ee4c045b65aca480307e337b9e /kernel/bootinfo/multiboot.sats
parent245f24890cd78304cf0fd397dda8e72b0a7fbe6b (diff)
downloadats-os-ae3ad4d8b7004f17376ee0a8bfae931788194b8b.tar.xz
ats-os-ae3ad4d8b7004f17376ee0a8bfae931788194b8b.zip
Final refactoring for opts: frames
Diffstat (limited to 'kernel/bootinfo/multiboot.sats')
-rw-r--r--kernel/bootinfo/multiboot.sats6
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