Constant UART_INTENSET_TXDRDY_Msk

pub const UART_INTENSET_TXDRDY_Msk: u32 = 128;