Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/tipc/name_table.c tipc_nl_service_list() -> __tipc_nl_service_range_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 7811974071035736064 |
| PARAM_VALUE | 0 | msg->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | sc | 4096-ptr_max |
| PARAM_VALUE | 1 | sc->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | last_lower | 438354544219189248 |
| PARAM_VALUE | 3 | last_key | 904522859228381184 |
| DATA_SOURCE | 0 | msg | $1 |
| DATA_SOURCE | 2 | last_lower | $3 |
| DATA_SOURCE | 3 | last_key | $4 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | bh | ||
| LOCK2 | rcu_read | ||
| LOCK2 | 1 | &sc->lock | |
| TYPE_LOCK | (struct tipc_service)->lock |