Constant optee_utee_sys::TEE_UDP_CHANGEADDR

pub const TEE_UDP_CHANGEADDR: u32 = 0x66000001;