Constant TIM17_BASEADDR 

pub const TIM17_BASEADDR: u32 = 0x40014800;