smpboot.c revision 3743d55b
1