Constant CONFIG_GPIO_STELLARIS 

pub const CONFIG_GPIO_STELLARIS: u32 = 1;