Symbol: riscv_ipi_disable
arch/riscv/include/asm/smp.h
46
void riscv_ipi_disable(void);
arch/riscv/kernel/cpu-hotplug.c
40
riscv_ipi_disable();