Home
last modified time | relevance | path

Searched refs:reported (Results 1 – 4 of 4) sorted by relevance

/lib/
DKconfig.kcsan165 int "Duration in milliseconds, in which any given race is only reported once"
168 Any given race is only reported once in the defined time window.
174 # The main purpose of the below options is to control reported data races, and
184 reported if it was only possible to infer a race due to a data value
213 aligned writes up to word size will not be reported as data races;
215 will also not be reported.
223 writes will never be reported as a data race, however, will cause
227 reported.
231 be reported as data races; however, unlike that option, data races
232 due to two conflicting plain writes will be reported (aligned and
[all …]
Dubsan.h20 unsigned long reported; member
Dubsan.c46 return test_and_set_bit(REPORTED_BIT, &location->reported); in was_reported()
DKconfig.debug1125 enabled then all held locks will also be reported. This
1288 reported by the kernel (once the event is observed that
1347 deadlocks (lockups) to be detected and reported automatically.
1364 reported.
1389 and unlocks to be detected and reported.