Constant TIMER_INTF_ALARM_1_MSB 

pub const TIMER_INTF_ALARM_1_MSB: u32 = 1;