Mention branches and keyring.
[releases.git] / mach-realview / hotplug.h
1 void realview_cpu_die(unsigned int cpu);