smpboot.c revision 9c7d9017
1