diff options
| author | Xander <xander@biltopia.org> | 2023-07-27 00:46:53 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-07-27 00:46:53 +0200 |
| commit | 54435375f29152ddbce1cd362a137280450eba94 (patch) | |
| tree | bed15b05a43d77d87977d35e337252577b46c92c /kernel/bootinfo/multiboot.dats | |
| parent | 6cacc45cdf11ca0e605bb7c6356c569c8aed760b (diff) | |
| download | ats-os-54435375f29152ddbce1cd362a137280450eba94.tar.xz ats-os-54435375f29152ddbce1cd362a137280450eba94.zip | |
migrated frame_allocator to opt. side effects constrains not implemented yet
Diffstat (limited to 'kernel/bootinfo/multiboot.dats')
| -rw-r--r-- | kernel/bootinfo/multiboot.dats | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/bootinfo/multiboot.dats b/kernel/bootinfo/multiboot.dats index 4df903e..9eee595 100644 --- a/kernel/bootinfo/multiboot.dats +++ b/kernel/bootinfo/multiboot.dats @@ -45,7 +45,7 @@ end end -extern castfn ui2sz (n : uint) : [n : nat] size_t n +extern castfn ui2sz (n : uint) :<> [n : nat] size_t n //------------Memory------------------------ @@ -59,7 +59,7 @@ end // TODO: here use optional datatype (fix runtime alloc) implement get_memory_mapping(pf | p,n) = ( - assertloc(n < get_memory_mappings_n(pf | p)); + (* assertloc(n < get_memory_mappings_n(pf | p)); *) $UN.ptr0_get<memory_area_t>(ptr_add<memory_area_t>(p->memory_map.entries,n)) ) |