remove hand-created DOUBLE function, now it is replaced with pseudocode
[openpower-isa.git] / src /
drwxr-xr-x   ..
drwxr-xr-x - openpower
drwxr-xr-x - test