smpboot.c revision f32ff538
1