/* i8042_enable_mux_ports enables 4 individual AUX ports after the controller has been switched into Multiplexed mode  */
static int i8042_enable_mux_ports(void)
/* i8042_enable_mux_ports enables 4 individual AUX ports after the controller has been switched into Multiplexed mode  */
static int i8042_enable_mux_ports(void)
{
	unsigned char param;
	int i;
	for (i = 0; i < I8042_NUM_MUX_PORTS; i++) {
		i8042_command(&param, I8042_CMD_MUX_PFX + i);
		i8042_command(&param, I8042_CMD_AUX_ENABLE);
	}
	return i8042_enable_aux_port();
}