dmi_bigsmp         85 arch/x86/kernel/apic/bigsmp_32.c static int dmi_bigsmp; /* can be set by dmi scanners */
dmi_bigsmp         90 arch/x86/kernel/apic/bigsmp_32.c 	dmi_bigsmp = 1;
dmi_bigsmp        114 arch/x86/kernel/apic/bigsmp_32.c 		dmi_bigsmp = 1;
dmi_bigsmp        118 arch/x86/kernel/apic/bigsmp_32.c 	return dmi_bigsmp;