pub type arm_cpsflag_type = c_uint;