smpboot.c revision 22d4cd4c
1