falcon_txc_set_gpio_dir  684 drivers/net/ethernet/sfc/falcon/falcon_boards.c 	falcon_txc_set_gpio_dir(efx, SFE4003_RED_LED_GPIO, TXC_GPIO_DIR_OUTPUT);
falcon_txc_set_gpio_dir   44 drivers/net/ethernet/sfc/falcon/phy.h void falcon_txc_set_gpio_dir(struct ef4_nic *efx, int pin, int dir);