Symbol: SBI_REMOTE_FENCE_I
sys/arch/riscv64/include/sbi.h
242
(void)SBI_CALL1(SBI_REMOTE_FENCE_I, 0, (uint64_t)hart_mask);
sys/arch/riscv64/riscv64/sbi.c
179
KASSERTMSG(sbi_probe_extension(SBI_REMOTE_FENCE_I) != 0,