vppinfra: add 128-bit and 512-bit a ^ b ^ c shortcut
[vpp.git] / build /
drwxr-xr-x   ..
drwxr-xr-x - external