Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/google/gve/gve_tx_dqo.c gve_tx_add_skb_copy_dqo() -> gve_tx_buf_get_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tx | 4096-ptr_max |
| PARAM_VALUE | 0 | tx->dqo.qpl | 1-u64max |
| PARAM_VALUE | 1 | index | s16min-(-2),0-s16max |
| PARAM_VALUE | 2 | va | 7462929432362696704 |
| PARAM_VALUE | 3 | dma_addr | 2429088145152688128 |
| DATA_SOURCE | 0 | tx | $0 |
| DATA_SOURCE | 1 | index | r gve_alloc_tx_qpl_buf |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |