GSC_ID_KEYBOARD   359 drivers/input/serio/gscps2.c 		 (ps2port->id == GSC_ID_KEYBOARD) ? "keyboard" : "mouse");
GSC_ID_KEYBOARD   372 drivers/input/serio/gscps2.c 	if (ps2port->id != GSC_ID_KEYBOARD && ps2port->id != GSC_ID_MOUSE) {