cpuhotplug.h revision 71def423
1