SFE4003_RED_LED_GPIO  672 drivers/net/ethernet/sfc/falcon/falcon_boards.c 		efx, SFE4003_RED_LED_GPIO,
SFE4003_RED_LED_GPIO  684 drivers/net/ethernet/sfc/falcon/falcon_boards.c 	falcon_txc_set_gpio_dir(efx, SFE4003_RED_LED_GPIO, TXC_GPIO_DIR_OUTPUT);
SFE4003_RED_LED_GPIO  685 drivers/net/ethernet/sfc/falcon/falcon_boards.c 	falcon_txc_set_gpio_val(efx, SFE4003_RED_LED_GPIO, SFE4003_LED_OFF);