Constant TEE_ISOCKET_ERROR_HOSTNAME 

pub const TEE_ISOCKET_ERROR_HOSTNAME: u32 = 0xF1007007;