Defined in 1 files as a function:
Referenced in 9 files:
- net/ipv6/af_inet6.c, line 828
- net/ipv6/datagram.c, line 94
- net/ipv6/inet6_connection_sock.c
- net/ipv6/raw.c, line 882
- net/ipv6/syncookies.c, line 239
- net/ipv6/tcp_ipv6.c, line 276
- net/ipv6/udp.c, line 1675
- net/l2tp/l2tp_ip6.c, line 629
- net/sctp/ipv6.c
Smatch caller information:
net/ipv6/datagram.c ip6_datagram_dst_update() -> fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 2 | orig | 4096-ptr_max |
| BUF_SIZE | 0 | fl6 | 88 |
| 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/inet6_connection_sock.c inet6_csk_route_req() -> fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 2 | orig | 4340868890081271808 |
| BUF_SIZE | 0 | fl6 | (-1),88 |
| BUF_SIZE | 0 | fl6 | (-1),88 |
| DATA_SOURCE | 0 | fl6 | $2 |
| MEM_ZERO | 0 | fl6 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/ipv6/inet6_connection_sock.c inet6_csk_route_socket() -> fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 2 | orig | 4096-ptr_max |
| BUF_SIZE | 0 | fl6 | 88 |
| DATA_SOURCE | 0 | fl6 | $1 |
| BIT_INFO | 0 | fl6->__fl_common.flowic_uid | 0x0,0x7fffffff |
| MEM_ZERO | 0 | fl6 | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/ipv6/syncookies.c cookie_v6_check() -> fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 2672113619689246720 |
| PARAM_VALUE | 2 | orig | 1875261048080318464 |
| MEM_ZERO | 0 | fl6 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/l2tp/l2tp_ip6.c l2tp_ip6_sendmsg() -> fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 8491236259787087872 |
| PARAM_VALUE | 1 | opt | 0,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 | 1 | opt | r ipv6_fixup_options |
| 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 |
net/ipv6/raw.c rawv6_sendmsg() -> fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 147540059252310016 |
| PARAM_VALUE | 1 | opt | 0,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 | 1 | opt | r ipv6_fixup_options |
| 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 |
net/ipv6/tcp_ipv6.c tcp_v6_connect() -> fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 2 | orig | 4096-ptr_max |
| BUF_SIZE | 0 | fl6 | 88 |
| 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 inet6_sk_rebuild_header() -> fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 2 | orig | 4096-ptr_max |
| BUF_SIZE | 0 | fl6 | 88 |
| 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 sctp_v6_get_dst() -> fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 2 | orig | 1496874804061458432 |
| BUF_SIZE | 0 | fl6 | 88 |
| 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 |
net/sctp/ipv6.c sctp_v6_get_dst() -> fl6_update_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl6 | 4096-ptr_max |
| PARAM_VALUE | 2 | orig | 1496874804061458432 |
| BUF_SIZE | 0 | fl6 | 88 |
| 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 |