Constant TEE_ISOCKET_WARNING_PROTOCOL 

pub const TEE_ISOCKET_WARNING_PROTOCOL: u32 = 0xF1007006;