pub type arm_cpsmode_type = c_uint;