Symbol: SBI_REMOTE_SFENCE_VMA_ASID
sys/arch/riscv64/include/sbi.h
260
(void)SBI_CALL4(SBI_REMOTE_SFENCE_VMA_ASID, 0, (uint64_t)hart_mask,
sys/arch/riscv64/riscv64/sbi.c
183
KASSERTMSG(sbi_probe_extension(SBI_REMOTE_SFENCE_VMA_ASID) != 0,