Symbol: sbi_cpuidle_deinit_cpu
drivers/cpuidle/cpuidle-riscv-sbi.c
344
sbi_cpuidle_deinit_cpu(cpu);
drivers/cpuidle/cpuidle-riscv-sbi.c
545
sbi_cpuidle_deinit_cpu(cpu);