Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/tipc/netlink_compat.c tipc_nl_compat_sk_dump() -> tipc_nl_compat_publ_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->net | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->net->gen | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->rep | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->rep->data | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->rep->data->tlv_len | 0-u16max |
| PARAM_VALUE | 0 | msg->rep->data_len | 0 |
| PARAM_VALUE | 0 | msg->rep_size | 0,4,60,108,32768 |
| PARAM_VALUE | 0 | msg->rep_type | 0,5 |
| PARAM_VALUE | 0 | msg->req_type | 0,2,17,19-20,23-25 |
| BUF_SIZE | 0 | msg->rep | (-1)-s32max |
| CAPPED_DATA | 0 | msg->net->gen | 1 |
| CAPPED_DATA | 0 | msg->req_type | 1 |
| DATA_SOURCE | 0 | msg | $0 |
| DATA_SOURCE | 1 | sock | r nla_get_u32 |
| STR_LEN | 0 | msg->dst_sk | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | msg->cmd | 1-6,11,16395 |
| USER_DATA | 0 | msg->rep->data->tlv_len | 0-u16max[u] |
| NO_OVERFLOW_SIMPLE | 0 | msg->dst_sk->sk_backlog.len | |
| USER_PTR | 0 | msg->rep->data |