smpboot.c revision 4d8cc874
1