smpboot.c revision ad7687dd
1