summaryrefslogtreecommitdiffstats
path: root/tools/verification/rv/src
ModeNameSize
-rw-r--r--in_kernel.c15441logstatsplain
-rw-r--r--rv.c3788logstatsplain
-rw-r--r--trace.c2874logstatsplain
-rw-r--r--utils.c815logstatsplain