Constant TIMER_INTF_ALARM_1_RESET 

pub const TIMER_INTF_ALARM_1_RESET: u32 = 0;