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