smpboot.h revision 4cb28ced
1