Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_nospec.c25 static int barrier_id; variable
133 if (get_state(barrier_id, "barrier", NULL) == &nospec) in returned_struct_members()
234 set_state(barrier_id, "barrier", NULL, &nospec); in match_barrier()
274 barrier_id = id; in check_nospec_barrier()