Symbol: IRQ_MASK_UART_TX