x86_smp.h revision 2965d505
1