SBI_SEND_IPI
(void)SBI_CALL1(SBI_SEND_IPI, 0, (uint64_t)hart_mask);
KASSERTMSG(sbi_probe_extension(SBI_SEND_IPI) != 0,