smpboot.c revision 4272ebfb
1