Constant TEE_ISOCKET_ERROR_REMOTE_CLOSED 

pub const TEE_ISOCKET_ERROR_REMOTE_CLOSED: u32 = 0xF1007002;