Symbol: sbi_remote_sfence_vma
sys/riscv/include/sbi.h
185
void sbi_remote_sfence_vma(const u_long *hart_mask, u_long start, u_long size);
sys/riscv/riscv/pmap.c
1089
sbi_remote_sfence_vma(mask.__bits, va, 1);
sys/riscv/riscv/pmap.c
1104
sbi_remote_sfence_vma(mask.__bits, sva, eva - sva + 1);
sys/riscv/riscv/pmap.c
1130
sbi_remote_sfence_vma(mask.__bits, 0, 0);