Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/core/rtnetlink.c rtnl_fill_statsinfo() -> (struct rtnl_link_ops)->fill_linkxstats()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data_len | 0 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->rtnl_link_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->fill_linkxstats | 4272586027813351424,9126321368221925376 |
| PARAM_VALUE | 2 | prividx | 4096-ptr_max |
| PARAM_VALUE | 3 | attr | 2 |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| DATA_SOURCE | 0 | skb | $0 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | prividx | $9 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len |
net/core/rtnetlink.c rtnl_fill_statsinfo() -> (struct rtnl_link_ops)->fill_linkxstats()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data_len | 0 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->fill_linkxstats | 0,4272586027813351424,9126321368221925376 |
| PARAM_VALUE | 2 | prividx | 4096-ptr_max |
| PARAM_VALUE | 3 | attr | 3 |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| DATA_SOURCE | 0 | skb | $0 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | prividx | $9 |
| PARAM_COMPARE | 1 | &dev->adj_list.upper | != $1->adj_list.upper.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | skb->sk->sk_backlog.len |