bios_model        346 drivers/platform/x86/thinkpad_acpi.c 	u32 bios_model;		/* 1Y = 0x3159, 0 = unknown */
bios_model        504 drivers/platform/x86/thinkpad_acpi.c 		    (qlist->bios == thinkpad_id.bios_model ||
bios_model       10105 drivers/platform/x86/thinkpad_acpi.c 			       &tp->bios_model, &tp->bios_release);