Convert sparc64 critical section barriers to RMO memory model.
[helenos.git] / kernel / tools / 
tree90757993e0f6a5b9a6bf1f911a3ab122df7ef8cf
drwxr-xr-x   ..
drwxr-xr-x - amd64
-rwxr-xr-x 2525 genmap.py
drwxr-xr-x - ia32