Symbol: SBI_SEND_IPI
sys/riscv/riscv/sbi.c
209
(void)SBI_CALL1(SBI_SEND_IPI, 0, (uint64_t)hart_mask);
sys/riscv/riscv/sbi.c
334
KASSERT(has_ipi_extension || sbi_probe_extension(SBI_SEND_IPI) != 0,