add a MASK32 function which offsets by 32 on the inputs
[openpower-isa.git] / src /
drwxr-xr-x   ..
drwxr-xr-x - openpower