WritePteFlags - Haiku

Symbol: WritePteFlags

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

WritePteFlags(firstFlags); dprintf("\n");

src/system/boot/platform/riscv/mmu.cpp

WritePteFlags(flags);

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

WritePteFlags(firstFlags); dprintf("\n");