smpboot.c revision 37f8527d
1