Constant TIMER_TIMERAWH_MSB 

pub const TIMER_TIMERAWH_MSB: u32 = 31;