smpboot.h revision 0d85923c
1