hotkey_user_mask_set 2806 drivers/platform/x86/thinkpad_acpi.c 	res = hotkey_user_mask_set(t);
hotkey_user_mask_set 4331 drivers/platform/x86/thinkpad_acpi.c 		res = hotkey_user_mask_set(mask);