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