Searched refs:WritePteFlags (Results 1 - 3 of 3) sorted by relevance

/haiku/src/system/kernel/arch/riscv64/
H A Darch_vm.cpp52 WritePteFlags(uint32 flags) function
128 WritePteFlags(firstFlags); dprintf("\n");
/haiku/src/system/boot/platform/riscv/
H A Dmmu.cpp49 WritePteFlags(uint32 flags) function
189 WritePteFlags(flags);
/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_mmu.cpp59 WritePteFlags(uint32 flags) function
95 WritePteFlags(firstFlags); dprintf("\n");

Completed in 39 milliseconds