Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/mcast.c ip6_mc_leave_src() -> ip6_mc_del_src()

Type Parameter Key Value
PARAM_VALUE 0 idev 0,4096-ptr_max
PARAM_VALUE 0 idev->mc_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 idev->mc_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 idev->mc_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 idev->mc_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner (-1)
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 idev->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 pmca 4096-ptr_max
PARAM_VALUE 3 sfcount 0
PARAM_VALUE 4 psfsrc 0
PARAM_VALUE 5 delta 0
DATA_SOURCE 0 idev $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 0 &idev->mc_lock

net/ipv6/mcast.c ip6_mc_leave_src() -> ip6_mc_del_src()

Type Parameter Key Value
PARAM_VALUE 0 idev 0,4096-ptr_max
PARAM_VALUE 0 idev->mc_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 idev->mc_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 idev->mc_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 idev->mc_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner (-1)
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 idev->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 pmca 4096-ptr_max
PARAM_VALUE 5 delta 0
DATA_SOURCE 0 idev $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 0 &idev->mc_lock

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

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->dead 0
PARAM_VALUE 0 idev->mc_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 idev->mc_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 idev->mc_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 idev->mc_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner (-1)
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 pmca 4096-ptr_max
PARAM_VALUE 5 delta 0
BUF_SIZE 1 pmca 16
CAPPED_DATA 0 &idev->mc_lock 1
DATA_SOURCE 0 idev r ip6_mc_find_idev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &idev->mc_lock
HALF_LOCKED2 sk
TYPE_LOCK (struct inet6_dev)->mc_lock

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

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->dead 0
PARAM_VALUE 0 idev->mc_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 idev->mc_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 idev->mc_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 idev->mc_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner (-1)
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 pmca 4096-ptr_max
PARAM_VALUE 3 sfcount 0
PARAM_VALUE 4 psfsrc 0
PARAM_VALUE 5 delta 0
BUF_SIZE 1 pmca 16
CAPPED_DATA 0 &idev->mc_lock 1
DATA_SOURCE 0 idev r ip6_mc_find_idev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &idev->mc_lock
HALF_LOCKED2 sk
TYPE_LOCK (struct inet6_dev)->mc_lock

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

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->dead 0
PARAM_VALUE 0 idev->mc_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 idev->mc_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 idev->mc_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 idev->mc_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner (-1)
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 pmca 1496053755919720464
PARAM_VALUE 3 sfcount 0
PARAM_VALUE 4 psfsrc 0
PARAM_VALUE 5 delta 0
BUF_SIZE 1 pmca 16
CAPPED_DATA 0 &idev->mc_lock 1
DATA_SOURCE 0 idev r ip6_mc_find_idev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &idev->mc_lock
HALF_LOCKED2 sk
TYPE_LOCK (struct inet6_dev)->mc_lock

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

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->dead 0
PARAM_VALUE 0 idev->mc_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 idev->mc_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 idev->mc_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 idev->mc_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner (-1)
PARAM_VALUE 0 idev->mc_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 idev->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 pmca 1496053755919720464
PARAM_VALUE 2 sfmode 0-1
PARAM_VALUE 3 sfcount 1
PARAM_VALUE 4 psfsrc 1496053755919720592
PARAM_VALUE 5 delta 1
BUF_SIZE 1 pmca 16
BUF_SIZE 4 psfsrc 16
CAPPED_DATA 0 &idev->mc_lock 1
CAPPED_DATA 2 sfmode 1
DATA_SOURCE 0 idev r ip6_mc_find_idev
DATA_SOURCE 2 sfmode $1
FUZZY_MAX 2 sfmode 1
HARD_MAX 2 sfmode 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &idev->mc_lock
HALF_LOCKED2 sk
TYPE_LOCK (struct inet6_dev)->mc_lock