Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ath/wil6210/txrx.c __wil_tx_vring_tso() -> wil_tx_desc_offload_setup_tso()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 5354086913401696256 |
| PARAM_VALUE | 1 | skb | 4096-ptr_max |
| PARAM_VALUE | 2 | tso_desc_type | 0 |
| BUF_SIZE | 0 | d | 32 |
| CAPPED_DATA | 1 | skb->data | 1 |
| DATA_SOURCE | 1 | skb | $3 |
| DATA_SOURCE | 4 | tcp_hdr_len | r tcp_hdrlen |
| DATA_SOURCE | 5 | skb_net_hdr_len | r skb_network_header_len |
| NOCHECK_CALL |
drivers/net/wireless/ath/wil6210/txrx.c __wil_tx_vring_tso() -> wil_tx_desc_offload_setup_tso()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 3852159950543175680,6645140512286187520 |
| PARAM_VALUE | 1 | skb | 4096-ptr_max |
| PARAM_VALUE | 2 | tso_desc_type | 1-2 |
| BUF_SIZE | 0 | d | 32 |
| CAPPED_DATA | 1 | skb->data | 1 |
| DATA_SOURCE | 1 | skb | $3 |
| DATA_SOURCE | 4 | tcp_hdr_len | r tcp_hdrlen |
| DATA_SOURCE | 5 | skb_net_hdr_len | r skb_network_header_len |
| FUZZY_MAX | 2 | tso_desc_type | 2 |
| BIT_INFO | 0 | d | 0x14300810a4000000,0x7d7ddf16bf7ce000 |
| BIT_INFO | 0 | d | 0x14300810a4000000,0x7d7ddf16bf7ce000 |
| HARD_MAX | 2 | tso_desc_type | 2 |
| NOCHECK_CALL |