falcon_txc_set_gpio_val  671 drivers/net/ethernet/sfc/falcon/falcon_boards.c 	falcon_txc_set_gpio_val(
falcon_txc_set_gpio_val  685 drivers/net/ethernet/sfc/falcon/falcon_boards.c 	falcon_txc_set_gpio_val(efx, SFE4003_RED_LED_GPIO, SFE4003_LED_OFF);
falcon_txc_set_gpio_val   45 drivers/net/ethernet/sfc/falcon/phy.h void falcon_txc_set_gpio_val(struct ef4_nic *efx, int pin, int val);