hotkey_exit      3720 drivers/platform/x86/thinkpad_acpi.c 		hotkey_exit();
hotkey_exit      3727 drivers/platform/x86/thinkpad_acpi.c 		hotkey_exit();
hotkey_exit      4357 drivers/platform/x86/thinkpad_acpi.c 	.exit = hotkey_exit,