Symbol: sbi_send_ipi
sys/riscv/include/sbi.h
181
void sbi_send_ipi(const u_long *hart_mask);
sys/riscv/riscv/mp_machdep.c
138
sbi_send_ipi(mask.__bits);
sys/riscv/riscv/sbi_ipi.c
77
sbi_send_ipi(&mask);