Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/rocker/rocker_main.c rocker_dma_cmd_ring_wait_alloc() -> rocker_desc_cookie_ptr_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc_info | 4096-ptr_max |
| PARAM_VALUE | 1 | ptr | 4096-ptr_max |
| BUF_SIZE | 1 | ptr | 96 |
| DATA_SOURCE | 0 | desc_info | $0 |
| DATA_SOURCE | 1 | ptr | r rocker_wait_create |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/rocker/rocker_main.c rocker_dma_rx_ring_skb_alloc() -> rocker_desc_cookie_ptr_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc_info | 4096-ptr_max |
| PARAM_VALUE | 1 | ptr | 0 |
| DATA_SOURCE | 0 | desc_info | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/rocker/rocker_main.c rocker_dma_rx_ring_skb_alloc() -> rocker_desc_cookie_ptr_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc_info | 4096-ptr_max |
| PARAM_VALUE | 0 | desc_info->desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc_info->desc->cookie | 0 |
| PARAM_VALUE | 1 | ptr | 4096-ptr_max |
| BUF_SIZE | 1 | ptr | (-1)-s32max |
| DATA_SOURCE | 0 | desc_info | $1 |
| DATA_SOURCE | 1 | ptr | r netdev_alloc_skb_ip_align |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/rocker/rocker_main.c rocker_port_xmit() -> rocker_desc_cookie_ptr_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc_info | 4096-ptr_max |
| PARAM_VALUE | 1 | ptr | 0,4096-ptr_max |
| BUF_SIZE | 1 | ptr | (-1)-s32max |
| DATA_SOURCE | 0 | desc_info | r rocker_desc_head_get |
| DATA_SOURCE | 1 | ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |