i8042_free_aux_ports 1476 drivers/input/serio/i8042.c 	i8042_free_aux_ports();
i8042_free_aux_ports 1570 drivers/input/serio/i8042.c 	i8042_free_aux_ports();	/* in case KBD failed but AUX not */