Lines Matching refs:Q
151 { A == 1, B == 2, C = 3, P == &A, Q == &C }
152 B = 4; Q = P;
153 P = &B D = *Q;
159 (Q == &A) and (D == 1)
160 (Q == &B) and (D == 2)
161 (Q == &B) and (D == 4)
164 into Q before issuing the load of *Q.
197 WRITE_ONCE(Q, P); smp_read_barrier_depends(); D = READ_ONCE(*Q);
201 Q = LOAD P, D = LOAD *Q
520 { A == 1, B == 2, C = 3, P == &A, Q == &C }
524 Q = READ_ONCE(P);
525 D = *Q;
528 sequence, Q must be either &A or &B, and that:
530 (Q == &A) implies (D == 1)
531 (Q == &B) implies (D == 4)
536 (Q == &B) and (D == 2) ????
547 { A == 1, B == 2, C = 3, P == &A, Q == &C }
551 Q = READ_ONCE(P);
553 D = *Q;
574 { M[0] == 1, M[1] == 2, M[3] = 3, P == 0, Q == 3 }
578 Q = READ_ONCE(P);
580 D = M[Q];
2103 Consider the following: the system has a pair of spinlocks (M) and (Q), and
2109 ACQUIRE M ACQUIRE Q
2112 RELEASE M RELEASE Q
2119 *E, ACQUIRE M, ACQUIRE Q, *G, *C, *F, *A, *B, RELEASE Q, *D, *H, RELEASE M
2125 *F, *G or *H preceding ACQUIRE Q
2126 *E, *F or *G following RELEASE Q
2143 spin_lock(Q)
2146 spin_unlock(Q);
2147 spin_lock(Q);
2150 spin_unlock(Q);
2164 spin_lock(Q)
2168 spin_unlock(Q);
2169 spin_lock(Q);
2173 spin_unlock(Q);
2185 spin_lock(Q)
2188 spin_unlock(Q);
2189 spin_lock(Q);
2192 spin_unlock(Q);