Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/mellanox/mlx4/en_tx.c mlx4_en_xmit() -> mlx4_en_tx_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ring | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->tx_info | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->tx_queue | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->tx_queue->dql.last_obj_cnt | 0-268435455 |
| PARAM_VALUE | 1 | tx_desc->ctrl.srcrb_flags16 | 0-u32max |
| PARAM_VALUE | 5 | op_own | 10,78,268435466,268435534,402653194,402653262,2147483658,2147483726,2415919114,2415919182,2550136842,2550136910 |
| DATA_SOURCE | 7 | send_doorbell | r __netdev_tx_sent_queue |
| FUZZY_MAX | 5 | op_own | 2147483726 |
| BIT_INFO | 3 | desc_size | 0x0,0x0 |
| BIT_INFO | 5 | op_own | 0xa,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ring->tx_queue->dql.last_obj_cnt | 61-268435455[c] |
| HOST_DATA | 1 | *tx_desc->lso.header | 0-255 |
| USER_DATA | 1 | tx_desc->ctrl.imm | 0-255 |
| USER_DATA | 1 | *tx_desc->lso.header | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | ring->bytes | |
| NO_OVERFLOW_SIMPLE | 0 | ring->tx_queue->dql.last_obj_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | ring->tx_queue->dql.num_queued | |
| USER_PTR | 1 | tx_desc->lso.header | |
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |