Defined in 2 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/net/vxlan/vxlan_multicast.c, line 75
- net/ipv6/addrconf.c, line 3027
- net/ipv6/ipv6_sockglue.c
- net/ipv6/mcast.c
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 |