Constant TF_MOD_RSHIFT 

pub const TF_MOD_RSHIFT: u32 = 32u32;