Constant ZX_THREAD_STATE_DEBUG_REGS 

pub const ZX_THREAD_STATE_DEBUG_REGS: u32 = 4 /* 4u32 */;