Constant CONFIG_UART_STELLARIS 

pub const CONFIG_UART_STELLARIS: u32 = 1;