Symbol: sbi_remote_sfence_vma
sys/arch/riscv64/riscv64/pmap.c
112
sbi_remote_sfence_vma(&hart_mask, 0, -1);
sys/arch/riscv64/riscv64/pmap.c
75
sbi_remote_sfence_vma(&hart_mask, va, PAGE_SIZE);