Constant UART_UARTCR_TXE_RESET 

pub const UART_UARTCR_TXE_RESET: u32 = 1;