BXE: min->MIN, plus an spatch
[akaros.git] / kern / arch / riscv / cpuinfo.c
index 83f3641..6766761 100644 (file)
@@ -9,7 +9,7 @@
 static void
 static_asserts_can_go_here()
 {
-       static_assert(SIZEOF_TRAPFRAME_T == sizeof(trapframe_t));
+       static_assert(SIZEOF_HW_TRAPFRAME == sizeof(struct hw_trapframe));
 }
 
 void
@@ -24,9 +24,8 @@ print_cpuinfo(void)
        cprintf("CPU Info: RISC-V %s\n", name);
 }
 
-void show_mapping(uintptr_t start, size_t size)
+void show_mapping(pde_t *pt, uintptr_t start, size_t size)
 {
-  pde_t* pt = (pde_t*)KADDR(rcr3());
        pte_t* pte;
        uintptr_t i;
        page_t* page;