Constant CONFIG_UART_STELLARIS_PORT_2 

pub const CONFIG_UART_STELLARIS_PORT_2: u32 = 1;