parisc: regs_return_value() should return gpr28
[muen/linux.git] / tools / memory-model /
drwxr-xr-x   ..
-rw-r--r-- 7 .gitignore
drwxr-xr-x - Documentation
-rw-r--r-- 8127 README
-rw-r--r-- 1984 linux-kernel.bell
-rw-r--r-- 3958 linux-kernel.cat
-rw-r--r-- 391 linux-kernel.cfg
-rw-r--r-- 4468 linux-kernel.def
drwxr-xr-x - litmus-tests
-rw-r--r-- 4769 lock.cat
drwxr-xr-x - scripts