Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/mctp/route.c mctp_test_route_input_multiple_nets_key() -> mctp_test_route_input_multiple_nets_key_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 1980614938221498368,8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,718 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->log->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->status | 1 |
| PARAM_VALUE | 1 | t | 5216463945121382400 |
| PARAM_VALUE | 1 | t->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | t->dst.output | 3178271195385851904 |
| PARAM_VALUE | 1 | t->key | 4096-ptr_max |
| PARAM_VALUE | 1 | t->msg.data | 1-2 |
| PARAM_VALUE | 1 | t->msg.type | 1 |
| PARAM_VALUE | 1 | t->netid | 1 |
| PARAM_VALUE | 1 | t->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | t->sock | 4096-ptr_max |
| BUF_SIZE | 0 | test->last_seen.file | (-1),27 |
| DATA_SOURCE | 0 | test | $0 |
| FUZZY_MAX | 0 | test->last_seen.line | 718 |
| STR_LEN | 0 | test->last_seen.file | (-1),26 |
| NOCHECK_CALL |
net/mctp/route.c mctp_test_route_input_multiple_nets_key() -> mctp_test_route_input_multiple_nets_key_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 1980614938221498368,8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,718 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->log->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->status | 1 |
| PARAM_VALUE | 1 | t | 7581045527692500992 |
| PARAM_VALUE | 1 | t->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | t->dst.output | 3178271195385851904 |
| PARAM_VALUE | 1 | t->key | 4096-ptr_max |
| PARAM_VALUE | 1 | t->msg.data | 1-2 |
| PARAM_VALUE | 1 | t->msg.type | 1 |
| PARAM_VALUE | 1 | t->netid | 2 |
| PARAM_VALUE | 1 | t->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | t->sock | 4096-ptr_max |
| BUF_SIZE | 0 | test->last_seen.file | (-1),27 |
| DATA_SOURCE | 0 | test | $0 |
| FUZZY_MAX | 0 | test->last_seen.line | 718 |
| STR_LEN | 0 | test->last_seen.file | (-1),26 |
| NOCHECK_CALL |