sbi_send_ipi - Linux

Symbol: sbi_send_ipi

arch/riscv/include/asm/sbi.h

void sbi_send_ipi(unsigned int cpu);

arch/riscv/kernel/sbi-ipi.c

virq = ipi_mux_create(BITS_PER_BYTE, sbi_send_ipi);

arch/riscv/kernel/sbi.c

EXPORT_SYMBOL(sbi_send_ipi);