Symbol: lockdep_cleanup_dead_cpu
include/linux/irqflags.h
30
extern void lockdep_cleanup_dead_cpu(unsigned int cpu,
kernel/cpu.c
1345
lockdep_cleanup_dead_cpu(cpu, idle_thread_get(cpu));