Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/6lowpan/core.c addrconf_ifid_802154_6lowpan() -> lowpan_802154_is_valid_src_short_addr()

Type Parameter Key Value

net/ieee802154/6lowpan/tx.c lowpan_header_create() -> lowpan_802154_is_valid_src_short_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &app->lock
HALF_LOCKED2 rcu_read

net/ieee802154/6lowpan/tx.c lowpan_header_create() -> lowpan_802154_is_valid_src_short_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &app->lock
HALF_LOCKED2 rcu_read

net/6lowpan/ndisc.c lowpan_ndisc_802154_update() -> lowpan_802154_is_valid_src_short_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &n->lock
LOCK2 bh
TYPE_LOCK (struct neighbour)->lock

net/6lowpan/ndisc.c lowpan_ndisc_fill_addr_option() -> lowpan_802154_is_valid_src_short_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/6lowpan/ndisc.c lowpan_ndisc_opt_addr_space() -> lowpan_802154_is_valid_src_short_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &neigh->lock
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct neighbour)->lock

net/6lowpan/ndisc.c lowpan_ndisc_opt_addr_space() -> lowpan_802154_is_valid_src_short_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock