toshiba_acpi_report_hotkey 2735 drivers/platform/x86/toshiba_acpi.c 			toshiba_acpi_report_hotkey(dev, scancode);
toshiba_acpi_report_hotkey 2748 drivers/platform/x86/toshiba_acpi.c 				toshiba_acpi_report_hotkey(dev, (int)value);