original_kernel/arch/arm/mach-realview/hotplug.h

2 lines
41 B
C

void realview_cpu_die(unsigned int cpu);