Searched refs:DumpPageTable (Results 1 - 2 of 2) sorted by relevance

/haiku/src/system/kernel/arch/riscv64/
H A Darch_vm.cpp164 DumpPageTable(int argc, char** argv) function
290 add_debugger_command("dump_page_table", &DumpPageTable, "Dump page table");
/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_mmu.cpp132 DumpPageTable(uint64 satp) function
445 DumpPageTable(GetSatp());

Completed in 34 milliseconds