Constant TEE_UDP_CHANGEADDR 

pub const TEE_UDP_CHANGEADDR: u32 = 0x66000001;