Searched refs:ns_capable_id (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_capable.c | 24 static int ns_capable_id; variable
52 set_state(ns_capable_id, buf, NULL, &capable); in match_ns_capable()
64 FOR_EACH_MY_SM(ns_capable_id, __get_cur_stree(), sm) { in save_call_info()
80 FOR_EACH_MY_SM(ns_capable_id, __get_cur_stree(), sm) { in save_return_info()
100 set_state(ns_capable_id, buf, NULL, &capable); in set_db_ns_capable()
121 ns_capable_id = id; in check_ns_capable()
|