Lines Matching refs:marked
2169 "marked" accesses, because they are all annotated with special
2352 cumul-fence, pb, and so on -- including vis) apply only to marked
2356 allowed to apply fancy transformations to marked accesses, and
2397 marked accesses.
2435 X and Y are both marked accesses. Hence an rfe link from X to
2453 executes before some marked access E. We can do this by finding a
2454 marked access X such that R and X are ordered by a suitable fence and
2456 marked access Y such that X ->xb* Y, and Y and E are ordered by a
2466 say that a marked access pre-bounds and post-bounds itself (e.g., if R
2467 above were a marked load then X could simply be taken to be R itself.)
2484 w-pre-bounded or w-post-bounded by a marked access, it also requires
2505 addition to fences: an address dependency from a marked load. That
2511 the LKMM says that the marked load of ptr pre-bounds the plain load of
2512 *p; the marked load must execute before any of the machine
2547 is only equivalent to READ_ONCE(). While it is a marked access, it is
2616 isn't w-post-bounded by any marked accesses.
2652 as hb are limited to marked accesses only. As a result, the
2735 an address dependency from a marked load R to a plain store W,
2736 followed by smp_wmb() and then a marked store W', the LKMM creates a
2744 links a marked load R to a store W, and the store is read by a load R'