bios_release      348 drivers/platform/x86/thinkpad_acpi.c 	u16 bios_release;	/* 1ZETK1WW = 0x4b31, 0 = unknown */
bios_release     1799 drivers/platform/x86/thinkpad_acpi.c 	if ((bios_version > thinkpad_id.bios_release) ||
bios_release     10105 drivers/platform/x86/thinkpad_acpi.c 			       &tp->bios_model, &tp->bios_release);