dmi_get_system_info  146 arch/x86/kernel/process_32.c 	board = dmi_get_system_info(DMI_PRODUCT_NAME);
dmi_get_system_info   41 include/linux/dmi.h extern const char * dmi_get_system_info(int field);