Symbol: __sbi_send_ipi_v01
arch/riscv/kernel/sbi.c
106
static void __sbi_send_ipi_v01(unsigned int cpu)
arch/riscv/kernel/sbi.c
160
static void __sbi_send_ipi_v01(unsigned int cpu)