dmi_check_system(bigsmp_dmi_table); 
if (def_to_bigsmp) dmi_bigsmp = 1; else dmi_check_system(bigsmp_dmi_table); 
static __init int probe_bigsmp(void){ 	dmi_check_system(bigsmp_dmi_table);	return dmi_bigsmp; } 
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/911a62d42365076209e2c327e7688db296e35d62/bigsmp.c/clean/arch/i386/mach-generic/bigsmp.c