Defined in 2 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/vxlan/vxlan_multicast.c vxlan_igmp_leave() -> ipv6_sock_mc_drop()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 ifindex unit_array_size
LOCK2 0 sk
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/ipv6_sockglue.c compat_ipv6_mcast_join_leave() -> ipv6_sock_mc_drop()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 2 addr 8342864936227418124
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ifindex s32min-s32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk

net/ipv6/ipv6_sockglue.c do_ipv6_setsockopt() -> ipv6_sock_mc_drop()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 2 addr 6744988681408958464
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ifindex s32min-s32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
HALF_LOCKED2 0 sk

net/ipv6/ipv6_sockglue.c ipv6_mcast_join_leave() -> ipv6_sock_mc_drop()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 2 addr 5762437601542467600
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ifindex s32min-s32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk

net/ipv6/addrconf.c ipv6_mc_config() -> ipv6_sock_mc_drop()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 2 addr 4096-ptr_max
CAPPED_DATA 1 ifindex 1
DATA_SOURCE 0 sk $0
DATA_SOURCE 1 ifindex $3
DATA_SOURCE 2 addr $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->data_len
UNITS 1 ifindex unit_array_size
USER_PTR 2 addr
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
LOCK2 0 sk
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv6/mcast.c ip6_mc_msfilter() -> ipv6_sock_mc_drop()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 0 sk->__sk_common.skc_net.net->ipv6.fib6_local_tbl->tb6_root.subtree->fn_flags 4-u16max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->ipv6.fib6_main_tbl->tb6_root.subtree->fn_flags 4-u16max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->ipv6.ip6_null_entry->dst.dst_trace_seq.counter s32min-s32max
PARAM_VALUE 2 addr 4096-ptr_max
BUF_SIZE 2 addr 16
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
CAPPED_DATA 1 ifindex 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ifindex 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk

net/ipv6/mcast.c ip6_mc_source() -> ipv6_sock_mc_drop()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_family 10
PARAM_VALUE 0 sk->__sk_common.skc_net.net->ipv6.fib6_local_tbl->tb6_root.subtree->fn_flags 4-u16max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->ipv6.fib6_main_tbl->tb6_root.subtree->fn_flags 4-u16max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->ipv6.ip6_null_entry->dst.dst_trace_seq.counter s32min-s32max
PARAM_VALUE 2 addr 1496053755919720464
BUF_SIZE 2 addr 16
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
CAPPED_DATA 1 ifindex 1
DATA_SOURCE 0 sk $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
UNITS 1 ifindex unit_array_size
HALF_LOCKED2 0 sk