Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_platform_device_put.c27 STATE(not_added);
44 set_state_expr(my_id, arg_expr, &not_added); in match_not_added()
56 if (!slist_has_state(sm->possible, &not_added)) in match_platform_device_del()