Constant TEE_ISOCKET_ERROR_PROTOCOL 

pub const TEE_ISOCKET_ERROR_PROTOCOL: u32 = 0xF1007001;