Constant CONFIG_UART_STELLARIS_PORT_1 

pub const CONFIG_UART_STELLARIS_PORT_1: u32 = 1;