Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/phonet/datagram.c pn_sockaddr_set_object() -> pn_dev()

Type Parameter Key Value
DATA_SOURCE 0 handle $1
RX_PATH
TASK_NOT_RUNNING

net/phonet/pep.c pn_sockaddr_set_object() -> pn_dev()

Type Parameter Key Value
DATA_SOURCE 0 handle $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/phonet/socket.c pn_sockaddr_set_object() -> pn_dev()

Type Parameter Key Value
DATA_SOURCE 0 handle $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &qp->state_lock

net/phonet/af_phonet.c pn_send() -> pn_dev()

Type Parameter Key Value
DATA_SOURCE 0 handle $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 handle 0-u16max[c]

net/phonet/af_phonet.c pn_send() -> pn_dev()

Type Parameter Key Value
DATA_SOURCE 0 handle $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 handle 0-u16max[c]

net/phonet/af_phonet.c pn_sockaddr_set_object() -> pn_dev()

Type Parameter Key Value
DATA_SOURCE 0 handle $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read