Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/core/pktgen.c get_ipsec_sa() -> set_pkt_overhead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pkt_dev | 4096-ptr_max |
| CAPPED_DATA | 0 | pkt_dev->cflows | 1 |
| CAPPED_DATA | 0 | pkt_dev->dst_mac_count | 1 |
| CAPPED_DATA | 0 | pkt_dev->odev->nd_net.net | 1 |
| CAPPED_DATA | 0 | pkt_dev->skb | 1 |
| CAPPED_DATA | 0 | pkt_dev->spi | 1 |
| CAPPED_DATA | 0 | pkt_dev->src_mac_count | 1 |
| CAPPED_DATA | 0 | pkt_dev->udp_dst_max | 1 |
| CAPPED_DATA | 0 | pkt_dev->udp_src_max | 1 |
| DATA_SOURCE | 0 | pkt_dev | $0 |
| BIT_INFO | 0 | pkt_dev->flags | 0x1000,0xfffffffe |
| NOCHECK_CALL | |||
| USER_DATA | 0 | pkt_dev->cur_daddr | 0-u32max[c] |
| USER_DATA | 0 | pkt_dev->cur_saddr | 0-u32max[c] |
net/core/pktgen.c pktgen_run() -> set_pkt_overhead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pkt_dev | 4096-ptr_max |
| CAPPED_DATA | 0 | pkt_dev->odev->real_num_tx_queues | 1 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |