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