Defined in 1 files as a function:

Referenced in 9 files:

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