smpboot.c revision 728e5653
1