SBI_SEND_IPI - OpenBSD

Symbol: SBI_SEND_IPI

sys/arch/riscv64/include/sbi.h

(void)SBI_CALL1(SBI_SEND_IPI, 0, (uint64_t)hart_mask);

sys/arch/riscv64/riscv64/sbi.c

KASSERTMSG(sbi_probe_extension(SBI_SEND_IPI) != 0,