DumpPageTable - Haiku

Symbol: DumpPageTable

src/system/boot/platform/efi/arch/riscv64/arch_mmu.cpp

DumpPageTable(GetSatp());

src/system/kernel/arch/riscv64/arch_vm.cpp

add_debugger_command("dump_page_table", &DumpPageTable, "Dump page table");