taglinefilesource code
model_defs86arch/i386/kernel/smp.cstatic char *model_defs[]=
model_defs99arch/i386/kernel/smp.creturn model_defs[model];