Constant optee_utee_sys::TEE_UDP_CHANGEPORT

pub const TEE_UDP_CHANGEPORT: u32 = 0x66000002;