hotplug.h 41 B

12
  1. void realview_cpu_die(unsigned int cpu);