Searched refs:shift_fields (Results 1 – 1 of 1) sorted by relevance
| /external/linux-kselftest/tools/testing/selftests/rcutorture/formal/srcu-cbmc/ |
| D | modify_srcu.awk | 140 function shift_fields(n, p) { function
161 shift_fields(1, 1);
207 shift_fields(3, 1);
237 shift_fields(1, 0);
275 shift_fields(1, 0);
286 shift_fields(1, 1);
307 shift_fields(1, 1);
317 shift_fields(2, 0);
321 shift_fields(1, 0);
330 shift_fields(3, 0);
[all …]
|