entry: add some asserts

kivikakk · Apr 2, 2021 · 2260f40 · 2260f40
1 parent fddb0d7
commit 2260f40
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/dainkrnl/src/arm64/entry.zig b/dainkrnl/src/arm64/entry.zig
@@ -99,6 +99,8 @@ pub export fn daintree_mmu_start(entry_data: *dcommon.EntryData) noreturn {
             l3.map(i, address, .table, flags);
             address += PAGING.page_size;
         }
+
+        entryAssert(address == daintree_end, "address != daintree_end");
     }
 
     hw.entry_uart.carefully(.{ "MAP: null at   ", PAGING.kernelPageAddress(i), "\r\n" });

diff --git a/dainkrnl/src/riscv64/entry.zig b/dainkrnl/src/riscv64/entry.zig
@@ -69,6 +69,8 @@ pub export fn daintree_mmu_start(entry_data: *dcommon.EntryData) noreturn {
             l3.map(i, address, flags);
             address += PAGING.page_size;
         }
+
+        entryAssert(address == daintree_end, "address != daintree_end");
     }
 
     hw.entry_uart.carefully(.{ "MAP: null at   ", PAGING.kernelPageAddress(i), "\r\n" });