Constant TEE_TCP_SET_SENDBUF 

pub const TEE_TCP_SET_SENDBUF: u32 = 0x65f00001;