pseries_cpu_hotplug_init
void __init pseries_cpu_hotplug_init(void)
static inline void pseries_cpu_hotplug_init(void) { }