tools 156 drivers/input/tablet/wacom_serial4.c } tools[] = { tools 338 drivers/input/tablet/wacom_serial4.c input_report_key(wacom->dev, tools[wacom->tool].input_id, 0); tools 343 drivers/input/tablet/wacom_serial4.c input_report_key(wacom->dev, tools[tool].input_id, in_proximity_p); tools 345 drivers/input/tablet/wacom_serial4.c in_proximity_p ? tools[tool].device_id : 0);