Lines Matching full:marked

73 2.	Data-racy reads whose values are checked against marked reload.
107 Data-Racy Reads That Are Checked Against Marked Reload
110 fed into some operation that checks the full value against a later marked
234 It is important to comment marked accesses so that people reading your
245 if that concurrent access is marked with READ_ONCE().  In addition,
249 write is marked with data_race() or WRITE_ONCE().
320 this function can be marked __no_kcsan and the data_race() can be dropped:
366 Because foo is read locklessly, all accesses are marked.  The purpose
368 concurrent write, whether marked or not.
487 Because foo is accessed locklessly, all accesses are marked.  It does
536 flag buggy concurrent writes, even if:  (1) Those writes are marked or