__ps2_gpio_write  102 drivers/input/serio/ps2-gpio.c 		__ps2_gpio_write(serio, val);
__ps2_gpio_write  108 drivers/input/serio/ps2-gpio.c 		__ps2_gpio_write(serio, val);
__ps2_gpio_write  221 drivers/input/serio/ps2-gpio.c 	__ps2_gpio_write(drvdata->serio, PS2_CMD_RESEND);
__ps2_gpio_write  308 drivers/input/serio/ps2-gpio.c 	__ps2_gpio_write(drvdata->serio, drvdata->tx_byte);