Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/can/j1939/socket.c __j1939_sk_errqueue() -> j1939_sk_get_timestamping_opt_stats()

Type Parameter Key Value
PARAM_VALUE 0 session 4096-ptr_max
PARAM_VALUE 0 session->priv->ndev 0,4096-ptr_max
PARAM_VALUE 1 type 0-5
BUF_SIZE 0 session (-1),416
BUF_SIZE 0 session (-1),416
BUF_SIZE 0 session->priv (-1),560
CAPPED_DATA 0 session 1
DATA_SOURCE 0 session $0
DATA_SOURCE 1 type $2
NOSPEC 0 session->pkt.last
NOSPEC 0 session->total_message_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 session->last_cmd 0-255
USER_DATA 0 session->pkt.block 0-255[c]
USER_DATA 0 session->pkt.last 0-16777469[c]
USER_DATA 0 session->pkt.total 0-16777215[c]
USER_DATA 0 session->pkt.tx 1-16777214
USER_DATA 0 session->pkt.tx_acked 1-16777214
USER_DATA 0 session->total_message_size 9-117440505[c]
HALF_LOCKED2 &priv->j1939_socks_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read