pk: does not use dtb

9 years ago · 96965a8cc6
1 changed files with 1 additions and 1 deletions
--- a/pk/pk.c
+++ b/pk/pk.c
@ -163,7 +163,7 @@ void boot_loader(uintptr_t dtb)
  set_csr(sstatus, SSTATUS_SUM);

  file_init();
-  enter_supervisor_mode(rest_of_boot_loader, pk_vm_init(), dtb);
+  enter_supervisor_mode(rest_of_boot_loader, pk_vm_init(), 0);
 }

 void boot_other_hart(uintptr_t dtb)