Home
last modified time | relevance | path

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

/openbmc/linux/kernel/kcsan/
H A Dkcsan_test.c265 __report_set_scoped(struct expect_report *r, int accesses) in __report_set_scoped() function
285 return __report_matches(__report_set_scoped(r, 0)) || in report_matches_any_reordered()
286 __report_matches(__report_set_scoped(r, 1)) || in report_matches_any_reordered()
287 __report_matches(__report_set_scoped(r, 2)) || in report_matches_any_reordered()
288 __report_matches(__report_set_scoped(r, 3)); in report_matches_any_reordered()