Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/udp.c udp_v4_early_demux() -> ip_check_mc_rcu()

Type Parameter Key Value
PARAM_VALUE 0 in_dev 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 mc_addr unit_byte
UNITS 2 src_addr unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/route.c __mkroute_output() -> ip_check_mc_rcu()

Type Parameter Key Value
PARAM_VALUE 0 in_dev 4096-ptr_max
PARAM_VALUE 0 in_dev->dev 4096-ptr_max
PARAM_VALUE 1 mc_addr 0-4294967294
CAPPED_DATA 0 in_dev->dev->nd_net.net 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 mc_addr 0-4294967294
USER_DATA 2 src_addr 0-u32max
USER_DATA 3 proto 0-255
UNITS 1 mc_addr unit_byte
UNITS 2 src_addr unit_byte
LOCK2 rcu_read

net/ipv4/route.c ip_route_input_rcu() -> ip_check_mc_rcu()

Type Parameter Key Value
PARAM_VALUE 0 in_dev 1-u64max
DATA_SOURCE 1 mc_addr $1
DATA_SOURCE 2 src_addr $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 mc_addr unit_byte
UNITS 2 src_addr unit_byte
LOCK2 rcu_read

net/ipv4/route.c ip_route_input_rcu() -> ip_check_mc_rcu()

Type Parameter Key Value
PARAM_VALUE 0 in_dev 1-u64max
DATA_SOURCE 1 mc_addr $1
DATA_SOURCE 2 src_addr $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 mc_addr unit_byte
UNITS 2 src_addr unit_byte
LOCK2 rcu_read