/* The i8042_wait_read() and i8042_wait_write functions wait for the i8042 to be ready for reading values from it / writing values to it. Called always with i8042_lock held.  */
static int i8042_wait_read(void)
/* The i8042_wait_read() and i8042_wait_write functions wait for the i8042 to be ready for reading values from it / writing values to it. Called always with i8042_lock held.  */
static int i8042_wait_read(void)
{
	int i = 0;
	while ((~i8042_read_status() & I8042_STR_OBF) && (i < I8042_CTL_TIMEOUT)) {
		udelay(50);
		i++;
	}
	return -(i == I8042_CTL_TIMEOUT);
}