Constant ARM_DEBUG_STATE 

pub const ARM_DEBUG_STATE: thread_state_flavor_t = 4;