cpuhotplug.h revision 4df83742
1