Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/mcast.c mld_marksources() -> mld_xmarksources()

Type Parameter Key Value
PARAM_VALUE 0 pmc 4096-ptr_max
PARAM_VALUE 0 pmc->mca_flags 16-u32max
PARAM_VALUE 0 pmc->mca_sfmode 0
PARAM_VALUE 1 nsrcs 0-u16max
DATA_SOURCE 0 pmc $0
DATA_SOURCE 1 nsrcs $1
DATA_SOURCE 2 srcs $2
BIT_INFO 0 pmc->mca_flags 0x10,0xffffffff
USER_DATA 1 nsrcs 0-u16max
LOCK2 &idev->mc_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inet6_dev)->mc_lock