diff options
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)) ) |