Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
result |
4439217016151363584 |
| PARAM_VALUE |
1 |
dev |
4096-ptr_max |
| BUF_SIZE |
1 |
dev |
s32min-(-1),1-s32max |
| BUF_SIZE |
1 |
dev |
s32min-(-1),1-s32max |
| BUF_SIZE |
1 |
dev->ethtool_ops |
(-1),656 |
| BUF_SIZE |
1 |
dev->header_ops |
(-1)-0,48 |
| BUF_SIZE |
1 |
dev->name_node |
(-1),64 |
| BUF_SIZE |
1 |
dev->name_node->name |
(-1),16 |
| BUF_SIZE |
1 |
dev->nd_net.net |
(-1),10304,10432 |
| BUF_SIZE |
1 |
dev->rtnl_link_ops |
(-1),288 |
| DATA_SOURCE |
1 |
dev |
$0 |
| STR_LEN |
0 |
result |
(-1),5-6,15 |
| STR_LEN |
1 |
dev |
(-1),5-6,15 |
| STR_LEN |
1 |
dev->nd_net.net |
(-1) |
| NOSPEC |
1 |
dev->ifindex |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
dev->flags |
0-527361[c] |
| USER_DATA |
1 |
dev->group |
s32min-s32max |
| USER_DATA |
1 |
dev->ifindex |
s32min-s32max |
| USER_DATA |
1 |
dev->mtu |
0-s32max[c] |
| USER_DATA |
1 |
*dev->dev_addr |
0-255 |
| NO_OVERFLOW_SIMPLE |
1 |
dev->mem_start |
|
| NO_OVERFLOW_SIMPLE |
1 |
dev->name |
|
| NO_OVERFLOW_SIMPLE |
1 |
dev->num_napi_configs |
|
| NO_OVERFLOW_SIMPLE |
1 |
dev->num_rx_queues |
|
| NO_OVERFLOW_SIMPLE |
1 |
dev->num_tc |
|
| NO_OVERFLOW_SIMPLE |
1 |
dev->num_tx_queues |
|
| NO_OVERFLOW_SIMPLE |
1 |
dev->proto_down |
|
| NO_OVERFLOW_SIMPLE |
1 |
dev->real_num_rx_queues |
|
| NO_OVERFLOW_SIMPLE |
1 |
dev->real_num_tx_queues |
|
| NO_OVERFLOW_SIMPLE |
1 |
dev->stats.tx_bytes |
|
| NO_OVERFLOW_SIMPLE |
1 |
dev->tx_queue_len |
|
| USER_PTR |
1 |
dev->broadcast |
|
| USER_PTR |
1 |
dev->name |
|
| HALF_LOCKED2 |
1 |
&dev->ethtool->rss_lock |
|
| HALF_LOCKED2 |
1 |
&dev->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
result |
4439217016151363584 |
| PARAM_VALUE |
1 |
dev |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
rcu_read |
|
