Lines Matching refs:propagate

804 	on C to propagate to C' before any po-later stores do.
808 	stores executed on C) is forced to propagate to C' before the
813 	propagate to all other CPUs before any instructions po-after
817 affects stores from other CPUs that propagate to CPU C before the
847 and W ->cumul-fence W', then W must propagate to any given CPU
849 require W to propagate to C before W' propagates to C'.
873 	Propagation: This requires that certain stores propagate to
1099 smp_wmb() forces P0's store to x to propagate to P1 before the store
1149 wait for all of its po-earlier stores to propagate to every other CPU
1185 for the memory subsystem not to propagate W to R's CPU until after R
1275 to buf will propagate to P1 before the store to flag does, and the
1334 guarantees that the stores to x and y both propagate to P0 before the
1368 propagate to Y's CPU before X does, hence before Y executes and hence
1370 know that W will propagate to every CPU and to RAM before Z executes.
1373 propagate to every CPU and to RAM before F executes.
1448 	propagates to C's CPU before the end of C must propagate to
1452 	propagates to G's CPU before the start of G must propagate
1485 end of the critical section, did not propagate to P1 before the end of
1490 to propagate to every CPU are fulfilled by placing strong fences at
1535 Z's CPU before Z begins but doesn't propagate to some other CPU until
1558 that any write po-before E will propagate to every CPU before any
1584 G's CPU before G starts must propagate to every CPU before C starts.
1610 critical section but doesn't propagate to some other CPU until after
1856 lock-acquire respectively, the LKMM requires that W must propagate to
1889 the spin_unlock() in P0.  Hence the store to x must propagate to P2