Constant TEE_TCP_SET_RECVBUF 

pub const TEE_TCP_SET_RECVBUF: u32 = 0x65f00000;