Symbol: SBI_REMOTE_SFENCE_VMA
sys/arch/riscv64/include/sbi.h
250
(void)SBI_CALL3(SBI_REMOTE_SFENCE_VMA, 0, (uint64_t)hart_mask, start,
sys/arch/riscv64/riscv64/sbi.c
181
KASSERTMSG(sbi_probe_extension(SBI_REMOTE_SFENCE_VMA) != 0,