I8042_KBD_PORT_NO
if (i8042_ports[I8042_KBD_PORT_NO].serio)
struct i8042_port *port = &i8042_ports[I8042_KBD_PORT_NO];
kfree(i8042_ports[I8042_KBD_PORT_NO].serio);
i8042_ports[I8042_KBD_PORT_NO].serio = NULL;
if (serio != i8042_ports[I8042_KBD_PORT_NO].serio)
serio == i8042_ports[I8042_KBD_PORT_NO].serio) {
I8042_AUX_PORT_NO : I8042_KBD_PORT_NO;