Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wan/farsync.c fst_siocdevprivate() -> check_started_ok()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->state | 3 |
| CAPABLE | 0 | 12 | |
| NOCHECK_CALL | |||
| LOCK2 | &net->rtnl_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct net)->rtnl_mutex |