Symbol: GPIO_TX_FAULT