Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv6/ip6_output.c __ip6_make_skb() -> ip6_cork_steal_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | cork | 4096-ptr_max |
| CAPPED_DATA | 0 | skb->data_len | 1 |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r __skb_dequeue |
| DATA_SOURCE | 1 | cork | $2 |
| CONSTRAINT | 0 | skb->data_len | <=49 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | cork->base.gso_size | 0-u16max |
| USER_DATA | 1 | cork->base.transmit_time | 0-9223372036854775807 |
| HALF_LOCKED2 | sk |