falcon_txc_set_gpio_val
falcon_txc_set_gpio_val(
falcon_txc_set_gpio_val(efx, SFE4003_RED_LED_GPIO, SFE4003_LED_OFF);
void falcon_txc_set_gpio_val(struct ef4_nic *efx, int pin, int val);