Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv6/addrconf.c addrconf_dad_work() -> ndisc_send_ns()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 1 solicit 4096-ptr_max
PARAM_VALUE 2 daddr 8092986773682831360
PARAM_VALUE 3 saddr 1971789579298107392
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv6/route.c rt6_probe_deferred() -> ndisc_send_ns()

Type Parameter Key Value
PARAM_VALUE 1 solicit 4096-ptr_max
PARAM_VALUE 2 daddr 6803897894025449472
PARAM_VALUE 3 saddr 0
PARAM_VALUE 4 nonce 0
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &pool->lock

net/ipv6/ndisc.c ndisc_solicit() -> ndisc_send_ns()

Type Parameter Key Value
PARAM_VALUE 1 solicit 4096-ptr_max
PARAM_VALUE 2 daddr 4096-ptr_max
PARAM_VALUE 4 nonce 0
BUF_SIZE 3 saddr 0,16
BUF_SIZE 3 saddr 0,16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 bh

net/ipv6/ndisc.c ndisc_solicit() -> ndisc_send_ns()

Type Parameter Key Value
PARAM_VALUE 1 solicit 4096-ptr_max
PARAM_VALUE 2 daddr 7508490463725436928
PARAM_VALUE 4 nonce 0
BUF_SIZE 3 saddr 0,16
BUF_SIZE 3 saddr 0,16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 bh