Constant __DARWIN_OPAQUE_ARM_THREAD_STATE64 

pub const __DARWIN_OPAQUE_ARM_THREAD_STATE64: u32 = 0;