Lines Matching refs:r2

393  8   int r2;
397 12   r2 = READ_ONCE(*y);
410 25 exists (0:r2=0 /\ 1:r4=0)
416  3 0:r2=0; 1:r4=0;
417  4 0:r2=0; 1:r4=1;
418  5 0:r2=1; 1:r4=0;
419  6 0:r2=1; 1:r4=1;
423 10 Condition exists (0:r2=0 /\ 1:r4=0)
446  8   int r2;
450 12   r2 = READ_ONCE(*y);
464 26 exists (0:r2=0 /\ 1:r4=0)
470  3 0:r1=1; 0:r2=0; 1:r3=1; 1:r4=0; x=1; y=1;
471  4 0:r1=1; 0:r2=0; 1:r3=1; 1:r4=1; x=1; y=1;
472  5 0:r1=1; 0:r2=1; 1:r3=1; 1:r4=0; x=1; y=1;
473  6 0:r1=1; 0:r2=1; 1:r3=1; 1:r4=1; x=1; y=1;
477 10 Condition exists (0:r2=0 /\ 1:r4=0)
519  8   int r2;
522 11   r2 = xchg_acquire(sl, 1);
530 19   int r2;
533 22   r2 = xchg_acquire(sl, 1);
539 28 filter (0:r2=0 /\ 1:r2=0)
551 "1" to "sl" and stores either "0" or "1" to "r2", depending on whether
561 executions in which both "0:r2" and "1:r2" are zero, that is to pay
610 But what if the litmus test were to temporarily set "0:r2" to a non-zero
616 of P1() reads that variable into "1:r2" to force an early mismatch with
630  9   int r2;
633 12   r2 = xchg_acquire(sl, 1);
641 20   int r2;
644 23   r2 = READ_ONCE(*x2);
645 24   if (r2)
646 25     r2 = xchg_acquire(sl, 1);
652 31 filter (0:r2=0 /\ 1:r2=0)
675 assignment to "0:r2" and once at the final assignment to "1:r2".
1022 			 3  r2 = srcu_read_lock(&my_srcu);
1026 			 7  srcu_read_unlock(&my_srcu, r2);