Symbol: i8042_free_aux_ports
drivers/input/serio/i8042.c
1483
i8042_free_aux_ports();
drivers/input/serio/i8042.c
1575
i8042_free_aux_ports(); /* in case KBD failed but AUX not */