smpboot.c revision 1db87563
1