cpuhotplug.h revision ef7d9593
1