smpboot.c revision 8078f4d6
1