cpuhotplug.h revision ad7ed770
1