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