get_thread_page_directory - Haiku

Symbol: get_thread_page_directory

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

phys_addr_t newPageDirectory = get_thread_page_directory(thread);

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

phys_addr_t newPageDirectory = get_thread_page_directory(thread);