Symbol: sbi_ipi_init
arch/riscv/include/asm/sbi.h
701
void sbi_ipi_init(void);
arch/riscv/kernel/irq.c
149
sbi_ipi_init();