shift-and-add really need to be EXT0xx in ls012
[libreriscv.git] / openpower / sv / rfc / ls001 /
drwxr-xr-x   ..
-rw-r--r-- 4841 discussion.mdwn