x86_smp.h revision 84525e55
1