wait_TBE          151 drivers/input/serio/gscps2.c 	if (!wait_TBE(addr)) {
wait_TBE          193 drivers/input/serio/gscps2.c 	wait_TBE(ps2port->addr);