File tree
33 files changed
+691
-406
lines changed- kernel/trace/rv
- monitors
- wip
- wwnr
- tools
- tracing/rtla
- src
- tests
- verification/dot2
- dot2k_templates
33 files changed
+691
-406
lines changedLines changed: 3 additions & 24 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
28 |
| - | |
29 |
| - | |
30 |
| - | |
31 |
| - | |
32 |
| - | |
33 |
| - | |
34 |
| - | |
35 |
| - | |
36 |
| - | |
37 |
| - | |
38 |
| - | |
39 |
| - | |
40 |
| - | |
41 |
| - | |
42 |
| - | |
43 |
| - | |
44 |
| - | |
45 |
| - | |
46 |
| - | |
47 |
| - | |
48 |
| - | |
49 |
| - | |
50 |
| - | |
51 |
| - | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
52 | 31 |
| |
53 | 32 |
| |
54 | 33 |
| |
|
Lines changed: 3 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
| 4 | + | |
3 | 5 |
| |
4 | 6 |
| |
5 | 7 |
| |
| 8 | + | |
6 | 9 |
| |
7 | 10 |
| |
8 | 11 |
|
Lines changed: 12 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
| 13 | + | |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
|
Lines changed: 15 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + |
Lines changed: 11 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
| 13 | + | |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
|
Lines changed: 16 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
145 | 145 |
| |
146 | 146 |
| |
147 | 147 |
| |
148 |
| - | |
| 148 | + | |
149 | 149 |
| |
150 | 150 |
| |
151 | 151 |
| |
|
Lines changed: 7 additions & 19 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
57 | 57 |
| |
58 | 58 |
| |
59 | 59 |
| |
60 |
| - | |
61 |
| - | |
62 |
| - | |
63 |
| - | |
64 |
| - | |
65 |
| - | |
66 |
| - | |
67 |
| - | |
68 |
| - | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
69 | 63 |
| |
70 | 64 |
| |
71 | 65 |
| |
| |||
123 | 117 |
| |
124 | 118 |
| |
125 | 119 |
| |
126 |
| - | |
127 |
| - | |
128 |
| - | |
129 |
| - | |
130 |
| - | |
131 |
| - | |
132 |
| - | |
133 |
| - | |
134 |
| - | |
135 |
| - | |
| 120 | + | |
| 121 | + | |
136 | 122 |
| |
137 | 123 |
| |
138 | 124 |
| |
139 | 125 |
| |
140 | 126 |
| |
141 | 127 |
| |
| 128 | + | |
| 129 | + | |
142 | 130 |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
85 | 85 |
| |
86 | 86 |
| |
87 | 87 |
| |
88 |
| - | |
| 88 | + | |
| 89 | + | |
| 90 | + |
Lines changed: 37 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
867 | 867 |
| |
868 | 868 |
| |
869 | 869 |
| |
870 |
| - | |
| 870 | + | |
871 | 871 |
| |
872 | 872 |
| |
873 | 873 |
| |
| |||
1079 | 1079 |
| |
1080 | 1080 |
| |
1081 | 1081 |
| |
| 1082 | + | |
| 1083 | + | |
| 1084 | + | |
| 1085 | + | |
| 1086 | + | |
| 1087 | + | |
| 1088 | + | |
| 1089 | + | |
| 1090 | + | |
| 1091 | + | |
| 1092 | + | |
| 1093 | + | |
| 1094 | + | |
| 1095 | + | |
| 1096 | + | |
| 1097 | + | |
| 1098 | + | |
| 1099 | + | |
| 1100 | + | |
| 1101 | + | |
| 1102 | + | |
| 1103 | + | |
| 1104 | + | |
| 1105 | + | |
| 1106 | + | |
| 1107 | + | |
| 1108 | + | |
| 1109 | + | |
| 1110 | + | |
| 1111 | + | |
| 1112 | + | |
| 1113 | + | |
| 1114 | + | |
| 1115 | + | |
| 1116 | + | |
| 1117 | + | |
1082 | 1118 |
| |
1083 | 1119 |
| |
1084 | 1120 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
104 | 104 |
| |
105 | 105 |
| |
106 | 106 |
| |
| 107 | + | |
| 108 | + | |
107 | 109 |
| |
108 | 110 |
| |
109 | 111 |
| |
|
Lines changed: 3 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
440 | 440 |
| |
441 | 441 |
| |
442 | 442 |
| |
| 443 | + | |
443 | 444 |
| |
444 | 445 |
| |
445 | 446 |
| |
| |||
970 | 971 |
| |
971 | 972 |
| |
972 | 973 |
| |
973 |
| - | |
| 974 | + | |
974 | 975 |
| |
975 | 976 |
| |
976 | 977 |
| |
| |||
980 | 981 |
| |
981 | 982 |
| |
982 | 983 |
| |
983 |
| - | |
| 984 | + | |
984 | 985 |
| |
985 | 986 |
| |
986 | 987 |
| |
|
Lines changed: 3 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
280 | 280 |
| |
281 | 281 |
| |
282 | 282 |
| |
| 283 | + | |
283 | 284 |
| |
284 | 285 |
| |
285 | 286 |
| |
| |||
801 | 802 |
| |
802 | 803 |
| |
803 | 804 |
| |
804 |
| - | |
| 805 | + | |
805 | 806 |
| |
806 | 807 |
| |
807 | 808 |
| |
| |||
810 | 811 |
| |
811 | 812 |
| |
812 | 813 |
| |
813 |
| - | |
| 814 | + | |
814 | 815 |
| |
815 | 816 |
| |
816 | 817 |
| |
|
Lines changed: 29 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
656 | 656 |
| |
657 | 657 |
| |
658 | 658 |
| |
| 659 | + | |
659 | 660 |
| |
660 | 661 |
| |
661 | 662 |
| |
| |||
1100 | 1101 |
| |
1101 | 1102 |
| |
1102 | 1103 |
| |
1103 |
| - | |
1104 |
| - | |
1105 |
| - | |
1106 |
| - | |
1107 |
| - | |
1108 |
| - | |
| 1104 | + | |
| 1105 | + | |
| 1106 | + | |
| 1107 | + | |
| 1108 | + | |
| 1109 | + | |
| 1110 | + | |
| 1111 | + | |
| 1112 | + | |
1109 | 1113 |
| |
1110 | 1114 |
| |
1111 | 1115 |
| |
| |||
1146 | 1150 |
| |
1147 | 1151 |
| |
1148 | 1152 |
| |
| 1153 | + | |
1149 | 1154 |
| |
1150 | 1155 |
| |
| 1156 | + | |
| 1157 | + | |
| 1158 | + | |
| 1159 | + | |
| 1160 | + | |
| 1161 | + | |
| 1162 | + | |
| 1163 | + | |
1151 | 1164 |
| |
| 1165 | + | |
| 1166 | + | |
1152 | 1167 |
| |
1153 | 1168 |
| |
1154 | 1169 |
| |
| |||
1195 | 1210 |
| |
1196 | 1211 |
| |
1197 | 1212 |
| |
| 1213 | + | |
| 1214 | + | |
| 1215 | + | |
| 1216 | + | |
| 1217 | + | |
| 1218 | + | |
1198 | 1219 |
| |
1199 | 1220 |
| |
1200 | 1221 |
| |
| |||
1342 | 1363 |
| |
1343 | 1364 |
| |
1344 | 1365 |
| |
1345 |
| - | |
| 1366 | + | |
1346 | 1367 |
| |
1347 | 1368 |
| |
1348 | 1369 |
| |
| |||
1363 | 1384 |
| |
1364 | 1385 |
| |
1365 | 1386 |
| |
1366 |
| - | |
| 1387 | + | |
1367 | 1388 |
| |
1368 | 1389 |
| |
1369 | 1390 |
| |
|
0 commit comments