Constant zx_types::ZX_EXCP_USER_CODE_USER0

pub const ZX_EXCP_USER_CODE_USER0: u32 = 0xF000;