x86_smp.h revision 3b23ffe2
1