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/fib_frontend.c fib_add_ifaddr() -> arp_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 1-u32max
PARAM_VALUE 1 ip 1-4294967294
PARAM_VALUE 2 force 0
BIT_INFO 0 dev->flags 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ip unit_byte

net/ipv4/fib_frontend.c fib_add_ifaddr() -> arp_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 1-u32max
PARAM_VALUE 2 force 0
BIT_INFO 0 dev->flags 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/ipv4/arp.c arp_req_delete() -> arp_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 dev 0-ptr_max
PARAM_VALUE 2 force 1
DATA_SOURCE 0 dev r arp_req_dev
NS_CAPABLE 0 12
UNITS 1 ip unit_byte
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &smc->sk
TYPE_LOCK (struct net)->rtnl_mutex