Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/alibaba/eea/eea_tx.c eea_clean_tx() -> eea_meta_free_xmit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tx | 4096-ptr_max |
| PARAM_VALUE | 0 | tx->enet | 4096-ptr_max |
| PARAM_VALUE | 0 | tx->enet->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | tx->ering | 4096-ptr_max |
| PARAM_VALUE | 0 | tx->ering->num | 1-u32max |
| PARAM_VALUE | 0 | tx->free | 4096-ptr_max |
| PARAM_VALUE | 0 | tx->meta | 4096-ptr_max |
| PARAM_VALUE | 1 | meta | 4096-ptr_max |
| PARAM_VALUE | 1 | meta->data | 1-u64max |
| PARAM_VALUE | 2 | budget | s32min-(-1),1-s32max |
| PARAM_VALUE | 3 | desc | 4096-ptr_max |
| PARAM_VALUE | 4 | stats | 5614946786547875840 |
| PARAM_VALUE | 4 | stats->bytes | 0-u32max |
| PARAM_VALUE | 4 | stats->packets | 0-1 |
| CAPPED_DATA | 0 | tx->ering->cq.phase | 1 |
| DATA_SOURCE | 0 | tx | $0 |
| DATA_SOURCE | 2 | budget | $1 |
| DATA_SOURCE | 3 | desc | r eea_ering_cq_get_desc |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | tx->free->dma_len | |
| NO_OVERFLOW_SIMPLE | 1 | meta->dma_addr | |
| NO_OVERFLOW_SIMPLE | 1 | meta->next->id | |
| LOCK2 | &txq->_xmit_lock | ||
| TYPE_LOCK | (struct netdev_queue)->_xmit_lock |
drivers/net/ethernet/alibaba/eea/eea_tx.c eea_free_meta() -> eea_meta_free_xmit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tx | 4096-ptr_max |
| PARAM_VALUE | 0 | tx->ering | 0 |
| PARAM_VALUE | 0 | tx->free | 4096-ptr_max |
| PARAM_VALUE | 0 | tx->free->skb | 0-9223372036854775807 |
| PARAM_VALUE | 0 | tx->meta | 4096-ptr_max |
| PARAM_VALUE | 1 | meta | 4096-ptr_max |
| PARAM_VALUE | 1 | meta->skb | 1-u64max |
| PARAM_VALUE | 2 | budget | 0 |
| PARAM_VALUE | 3 | desc | 0 |
| PARAM_VALUE | 4 | stats | 3476718270335438848 |
| PARAM_VALUE | 4 | stats->bytes | 0-u32max |
| PARAM_VALUE | 4 | stats->packets | 0-1 |
| BUF_SIZE | 0 | tx->ering | (-1)-0,120 |
| BUF_SIZE | 0 | tx->meta | (-1),56 |
| DATA_SOURCE | 0 | tx | $0 |
| 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->free->dma_len | |
| NO_OVERFLOW_SIMPLE | 0 | tx->free->id | |
| NO_OVERFLOW_SIMPLE | 0 | tx->index | |
| NO_OVERFLOW_SIMPLE | 1 | meta->dma_addr | |
| NO_OVERFLOW_SIMPLE | 1 | meta->id | |
| NO_OVERFLOW_SIMPLE | 1 | meta->next->id | |
| HALF_LOCKED2 | global &rtnl_mutex |