Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/alibaba/eea/eea_tx.c eea_free_tx() -> eea_free_meta()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tx | 4096-ptr_max |
| PARAM_VALUE | 0 | tx->ering | 0 |
| PARAM_VALUE | 0 | tx->free->skb | 0-9223372036854775807 |
| PARAM_VALUE | 0 | tx->meta | 1-u64max |
| PARAM_VALUE | 1 | cfg | 476482893793308672,1792959128699355136,2489073592086052864,3502485846985699328,3613851977605398528,3971091533481553920 |
| PARAM_VALUE | 1 | cfg->rx_cq_desc_size | 0,32 |
| PARAM_VALUE | 1 | cfg->rx_sq_desc_size | 0,16,32 |
| PARAM_VALUE | 1 | cfg->tx_cq_desc_size | 0,16 |
| PARAM_VALUE | 1 | cfg->tx_ring_depth | 0,64-32768 |
| PARAM_VALUE | 1 | cfg->tx_sq_desc_size | 0,32 |
| BUF_SIZE | 0 | tx | (-1),104 |
| BUF_SIZE | 0 | tx | (-1),104 |
| BUF_SIZE | 0 | tx->ering | (-1)-0,120 |
| BUF_SIZE | 0 | tx->meta | (-1),56 |
| DATA_SOURCE | 0 | tx | $0 |
| DATA_SOURCE | 1 | cfg | $1 |
| STR_LEN | 0 | tx->ering->name | (-1),15 |
| STR_LEN | 0 | tx->name | (-1),15 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | tx->ering->num | |
| NO_OVERFLOW_SIMPLE | 0 | tx->ering->num_free | |
| NO_OVERFLOW_SIMPLE | 0 | tx->free->dma_addr | |
| NO_OVERFLOW_SIMPLE | 0 | tx->index | |
| NO_OVERFLOW_SIMPLE | 1 | cfg->rx_ring_depth | |
| NO_OVERFLOW_SIMPLE | 1 | cfg->rx_ring_num | |
| NO_OVERFLOW_SIMPLE | 1 | cfg->tx_ring_depth | |
| NO_OVERFLOW_SIMPLE | 1 | cfg->tx_ring_num | |
| HALF_LOCKED2 | global &rtnl_mutex |