Open Menu /

Defined in 1 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() -> ip_mc_leave_group()

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 1 imr 3945966250430451712
PARAM_VALUE 1 imr->imr_address.s_addr 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 sk
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/igmp.c ip_mc_msfilter() -> ip_mc_leave_group()

Type Parameter Key Value
PARAM_VALUE 1 imr 7226511178411716608
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 imr->imr_address.s_addr 0-u32max[u]
USER_DATA 1 imr->imr_ifindex s32min-s32max
USER_DATA 1 imr->imr_multiaddr.s_addr 0-u32max[u]
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 sk

net/ipv4/igmp.c ip_mc_source() -> ip_mc_leave_group()

Type Parameter Key Value
PARAM_VALUE 1 imr 4790666635082186752
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 imr->imr_address.s_addr 0-u32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 sk

net/ipv4/ip_sockglue.c compat_ip_mcast_join_leave() -> ip_mc_leave_group()

Type Parameter Key Value
PARAM_VALUE 1 imr 4721528449718460416
PARAM_VALUE 1 imr->imr_address.s_addr 0
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 imr->imr_ifindex s32min-s32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 sk

net/ipv4/ip_sockglue.c do_ip_setsockopt() -> ip_mc_leave_group()

Type Parameter Key Value
PARAM_VALUE 1 imr 6543426582569684992
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 imr->imr_address.s_addr 0-u32max
USER_DATA 1 imr->imr_ifindex s32min-s32max
USER_DATA 1 imr->imr_multiaddr.s_addr 0-u32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 sk

net/ipv4/ip_sockglue.c ip_mcast_join_leave() -> ip_mc_leave_group()

Type Parameter Key Value
PARAM_VALUE 1 imr 1390839758440038400
PARAM_VALUE 1 imr->imr_address.s_addr 0
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 imr->imr_ifindex s32min-s32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 sk

net/ipv4/devinet.c ip_mc_autojoin_config() -> ip_mc_leave_group()

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 1 imr 7538986928907476992
PARAM_VALUE 1 imr->imr_address.s_addr 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
LOCK2 0 sk
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct net)->rtnl_mutex