Symbol: toshiba_acpi_report_hotkey
drivers/platform/x86/toshiba_acpi.c
2827
toshiba_acpi_report_hotkey(dev, scancode);
drivers/platform/x86/toshiba_acpi.c
2840
toshiba_acpi_report_hotkey(dev, (int)value);