/* i8042_kbd_write() sends a byte out through the keyboard interface.  */
static int i8042_kbd_write(struct serio *port, unsigned char c)
/* i8042_kbd_write() sends a byte out through the keyboard interface.  */
static int i8042_kbd_write(struct serio *port, unsigned char c)
{
	unsigned long flags;
	int retval = 0;
	spin_lock_irqsave(&i8042_lock, flags);
	if (!(retval = i8042_wait_write())) {
		dbg("%02x -> i8042 (kbd-data)", c);
		i8042_write_data(c);
	}
	spin_unlock_irqrestore(&i8042_lock, flags);
	return retval;
}