Constant zx_types::ZX_EXCP_USER_CODE_USER1

pub const ZX_EXCP_USER_CODE_USER1: u32 = 0xF001;