Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/ipv6/datagram.c fl6_update_dst() -> __fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 1 | opt | 1-u64max |
| PARAM_VALUE | 2 | orig | 4096-ptr_max |
| BUF_SIZE | 0 | fl6 | 88 |
| DATA_SOURCE | 0 | fl6 | $0 |
| DATA_SOURCE | 1 | opt | $1 |
| DATA_SOURCE | 2 | orig | $2 |
| MEM_ZERO | 0 | fl6 | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv6/udp.c fl6_update_dst() -> __fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | opt | 1-u64max |
| DATA_SOURCE | 0 | fl6 | $0 |
| DATA_SOURCE | 1 | opt | $1 |
| DATA_SOURCE | 2 | orig | $2 |
net/ipv6/inet6_connection_sock.c fl6_update_dst() -> __fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 1 | opt | 1-u64max |
| PARAM_VALUE | 2 | orig | 4096-ptr_max |
| BUF_SIZE | 0 | fl6 | (-1),88 |
| BUF_SIZE | 0 | fl6 | (-1),88 |
| DATA_SOURCE | 0 | fl6 | $0 |
| DATA_SOURCE | 1 | opt | $1 |
| DATA_SOURCE | 2 | orig | $2 |
| MEM_ZERO | 0 | fl6 | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv6/syncookies.c fl6_update_dst() -> __fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 2672113619689246720 |
| PARAM_VALUE | 1 | opt | 1-u64max |
| PARAM_VALUE | 2 | orig | 1875261048080318464 |
| DATA_SOURCE | 0 | fl6 | $0 |
| DATA_SOURCE | 1 | opt | $1 |
| DATA_SOURCE | 2 | orig | $2 |
| MEM_ZERO | 0 | fl6 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/l2tp/l2tp_ip6.c fl6_update_dst() -> __fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 8491236259787087872 |
| PARAM_VALUE | 1 | opt | 4096-ptr_max |
| PARAM_VALUE | 1 | opt->srcrt | 0 |
| PARAM_VALUE | 2 | orig | 3101344092063535104 |
| BUF_SIZE | 1 | opt | (-1)-0,64 |
| BUF_SIZE | 1 | opt | (-1)-0,64 |
| CAPPED_DATA | 1 | opt | 1 |
| DATA_SOURCE | 0 | fl6 | $0 |
| DATA_SOURCE | 1 | opt | $1 |
| DATA_SOURCE | 2 | orig | $2 |
| MEM_ZERO | 0 | fl6 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | fl6->__fl_common.flowic_oif | s32min-(-1),1-s32max |
| USER_DATA | 0 | fl6->flowlabel | 0-268435455[c] |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |
net/ipv6/raw.c fl6_update_dst() -> __fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 147540059252310016 |
| PARAM_VALUE | 1 | opt | 4096-ptr_max |
| PARAM_VALUE | 1 | opt->srcrt | 0 |
| PARAM_VALUE | 2 | orig | 5774660879006306304 |
| BUF_SIZE | 1 | opt | (-1)-0,64 |
| BUF_SIZE | 1 | opt | (-1)-0,64 |
| CAPPED_DATA | 1 | opt | 1 |
| DATA_SOURCE | 0 | fl6 | $0 |
| DATA_SOURCE | 1 | opt | $1 |
| DATA_SOURCE | 2 | orig | $2 |
| MEM_ZERO | 0 | fl6 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | fl6->__fl_common.flowic_oif | s32min-(-1),1-s32max |
| USER_DATA | 0 | fl6->__fl_common.flowic_proto | 1-255[c][u] |
| USER_DATA | 0 | fl6->flowlabel | 0-268435455[c] |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |
net/ipv6/tcp_ipv6.c fl6_update_dst() -> __fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 1 | opt | 1-u64max |
| PARAM_VALUE | 2 | orig | 4096-ptr_max |
| BUF_SIZE | 0 | fl6 | 88 |
| DATA_SOURCE | 0 | fl6 | $0 |
| DATA_SOURCE | 1 | opt | $1 |
| DATA_SOURCE | 2 | orig | $2 |
| BIT_INFO | 0 | fl6->__fl_common.flowic_uid | 0x0,0x7fffffff |
| NOSPEC | 0 | fl6->flowlabel | |
| MEM_ZERO | 0 | fl6 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | fl6->__fl_common.flowic_oif | 1-s32max[c] |
| USER_DATA | 0 | fl6->flowlabel | 0-u32max[c] |
| USER_DATA | 0 | fl6->uli.ports.dport | 0-u16max[u] |
| HALF_LOCKED2 | sk |
net/ipv6/af_inet6.c fl6_update_dst() -> __fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 1 | opt | 1-u64max |
| PARAM_VALUE | 2 | orig | 4096-ptr_max |
| BUF_SIZE | 0 | fl6 | 88 |
| DATA_SOURCE | 0 | fl6 | $0 |
| DATA_SOURCE | 1 | opt | $1 |
| DATA_SOURCE | 2 | orig | $2 |
| BIT_INFO | 0 | fl6->__fl_common.flowic_uid | 0x0,0x7fffffff |
| MEM_ZERO | 0 | fl6 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
net/sctp/ipv6.c fl6_update_dst() -> __fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 1 | opt | 1-u64max |
| PARAM_VALUE | 2 | orig | 1496874804061458432 |
| BUF_SIZE | 0 | fl6 | 88 |
| DATA_SOURCE | 0 | fl6 | $0 |
| DATA_SOURCE | 1 | opt | $1 |
| DATA_SOURCE | 2 | orig | $2 |
| NOSPEC | 0 | fl6->__fl_common.flowic_oif | |
| NOSPEC | 0 | fl6->flowlabel | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | fl6->__fl_common.flowic_oif | s32min-s32max |
| USER_DATA | 0 | fl6->flowlabel | 0-1048575[c] |
| USER_DATA | 0 | fl6->uli.ports.dport | 0-u16max |
| LOCK2 | rcu_read |