Symbol: SBI_CLEAR_IPI
sys/arch/riscv64/include/sbi.h
228
(void)SBI_CALL0(SBI_CLEAR_IPI, 0);
sys/arch/riscv64/riscv64/sbi.c
175
KASSERTMSG(sbi_probe_extension(SBI_CLEAR_IPI) != 0,