| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | COPYING | 18011 | logstatsplain |
| -rw-r--r-- | Makefile | 311 | logstatsplain |
| -rw-r--r-- | README | 219 | logstatsplain |
| -rw-r--r-- | compiler.h | 696 | logstatsplain |
| -rw-r--r-- | kernel.h | 9763 | logstatsplain |
| -rw-r--r-- | main.c | 575 | logstatsplain |
| d--------- | metadata | 96 | logstatsplain |
| -rw-r--r-- | qrwlock.c | 2618 | logstatsplain |
| -rw-r--r-- | qrwlock.h | 3775 | logstatsplain |
| -rw-r--r-- | rmem.h | 405 | logstatsplain |
| -rwxr-xr-x | run-batch.sh | 510 | logstatsplain |
 |
index : kernel/git/will/qrwlock-rmem.git | |
| Userspace modelling of arm64 qrwlock | Will Deacon |
| aboutsummaryrefslogtreecommitdiffstats |