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/arp.c arp_solicit() -> inet_addr_onlink()

Type Parameter Key Value
PARAM_VALUE 0 in_dev 4096-ptr_max
PARAM_VALUE 0 in_dev->dev 4096-ptr_max
CAPPED_DATA 0 in_dev->dev->nd_net.net 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 a 0-u32max
UNITS 2 b unit_byte
LOCK2 rcu_read
HALF_LOCKED2 bh

net/ipv4/route.c __ip_do_redirect() -> inet_addr_onlink()

Type Parameter Key Value
PARAM_VALUE 0 in_dev 4096-ptr_max
PARAM_VALUE 0 in_dev->dev 4096-ptr_max
PARAM_VALUE 1 a 1-4294967294
CAPPED_DATA 0 in_dev->dev->nd_net.net 1
CAPPED_DATA 2 b 1
PARAM_COMPARE 1 a != $2
PARAM_COMPARE 2 b != $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 a unit_byte
UNITS 2 b unit_byte

net/ipv4/route.c __mkroute_input() -> inet_addr_onlink()

Type Parameter Key Value
PARAM_VALUE 0 in_dev 4096-ptr_max
PARAM_VALUE 0 in_dev->dev 4096-ptr_max
PARAM_VALUE 1 a 1-4294967294
CAPPED_DATA 0 in_dev 1
CAPPED_DATA 0 in_dev->dev->nd_net.net 1
CAPPED_DATA 1 a 1
DATA_SOURCE 1 a $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 a unit_byte
UNITS 2 b unit_byte
LOCK2 rcu_read