hotkey_orig_mask 2041 drivers/platform/x86/thinkpad_acpi.c static u32 hotkey_orig_mask;		/* events the BIOS had enabled */
hotkey_orig_mask 2838 drivers/platform/x86/thinkpad_acpi.c 	return snprintf(buf, PAGE_SIZE, "0x%08x\n", hotkey_orig_mask);
hotkey_orig_mask 3179 drivers/platform/x86/thinkpad_acpi.c 	      hotkey_mask_set(hotkey_orig_mask)) |
hotkey_orig_mask 3614 drivers/platform/x86/thinkpad_acpi.c 		hotkey_orig_mask = hotkey_acpi_mask;
hotkey_orig_mask 3616 drivers/platform/x86/thinkpad_acpi.c 		hotkey_orig_mask = hotkey_all_mask;