TPID3             461 drivers/platform/x86/thinkpad_acpi.c 	  .bios = TPID3(__id1, __id2, __id3),	\
TPID3            10035 drivers/platform/x86/thinkpad_acpi.c 		*model = TPID3(s[0], s[1], s[2]);