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);