taglinefilesource code
mpf_feature1275arch/i386/kernel/smp.cif(mpf->mpf_feature1!=0)
mpf_feature1281arch/i386/kernel/smp.cswitch(mpf->mpf_feature1)
mpf_feature1308arch/i386/kernel/smp.cmpf->mpf_feature1);
mpf_feature131include/asm-i386/smp.hunsigned char mpf_feature1;  /* Standard or configuration ?   */