aux_enable       1441 drivers/input/serio/i8042.c 	int (*aux_enable)(void);
aux_enable       1452 drivers/input/serio/i8042.c 		aux_enable = i8042_enable_aux_port;
aux_enable       1459 drivers/input/serio/i8042.c 		aux_enable = i8042_enable_mux_ports;
aux_enable       1467 drivers/input/serio/i8042.c 	if (aux_enable())