KBDC_AUX_MUX_NUM_PORTS
if (port < 0 || port >= KBDC_AUX_MUX_NUM_PORTS)
for (port = 0; port < KBDC_AUX_MUX_NUM_PORTS; port++) {