linux_dmi          33 drivers/acpi/osi.c 	unsigned int	linux_dmi:1;
linux_dmi          80 drivers/acpi/osi.c 			osi_config.linux_dmi ? " via DMI" : "");
linux_dmi         204 drivers/acpi/osi.c 	osi_config.linux_dmi = 0;
linux_dmi         283 drivers/acpi/osi.c 	osi_config.linux_dmi = 1;