smpboot.c revision 6087dd5e
1