Constant TEE_ISOCKET_PROTOCOLID_TCP 

pub const TEE_ISOCKET_PROTOCOLID_TCP: u32 = 0x65;