Constant optee_utee_sys::TEE_ISOCKET_PROTOCOLID_UDP

pub const TEE_ISOCKET_PROTOCOLID_UDP: u32 = 0x66;