FlushTlbPageAsid - Haiku

Symbol: FlushTlbPageAsid

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

FlushTlbPageAsid(address, 0);

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

FlushTlbPageAsid(start, 0);

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

FlushTlbPageAsid(page, 0);