Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/can/j1939/transport.c j1939_xtp_rx_rts_session_new() -> j1939_session_activate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | session | 4096-ptr_max |
| PARAM_VALUE | 0 | session->active_session_list_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->active_session_list_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->active_session_list_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->active_session_list_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->active_session_list_entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | session->pkt.block | 0-255 |
| PARAM_VALUE | 0 | session->pkt.rx | 0 |
| PARAM_VALUE | 0 | session->pkt.total | 0-16777215 |
| PARAM_VALUE | 0 | session->pkt.tx | 0 |
| PARAM_VALUE | 0 | session->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | session->priv->ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->rxtimer._softexpires | 0 |
| PARAM_VALUE | 0 | session->rxtimer.base | 4096-ptr_max |
| PARAM_VALUE | 0 | session->rxtimer.function | 1-u64max |
| PARAM_VALUE | 0 | session->rxtimer.is_hard | 0 |
| PARAM_VALUE | 0 | session->rxtimer.is_lazy | 0 |
| PARAM_VALUE | 0 | session->rxtimer.is_queued | 0 |
| PARAM_VALUE | 0 | session->rxtimer.is_rel | 0 |
| PARAM_VALUE | 0 | session->rxtimer.is_soft | 0 |
| PARAM_VALUE | 0 | session->rxtimer.node.expires | 0 |
| PARAM_VALUE | 0 | session->rxtimer.node.node.next | 0 |
| PARAM_VALUE | 0 | session->rxtimer.node.node.node.rb_left | 0 |
| PARAM_VALUE | 0 | session->rxtimer.node.node.prev | 0 |
| PARAM_VALUE | 0 | session->sk->sk_callback_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | session->sk->sk_error_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk->sk_error_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk->sk_error_queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk_session_queue_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk_session_queue_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk_session_queue_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk_session_queue_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk_session_queue_entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->skb_queue.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | session->skb_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->skb_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->skb_queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->state | 0 |
| PARAM_VALUE | 0 | session->total_message_size | 9-117440505 |
| PARAM_VALUE | 0 | session->txtimer._softexpires | 0 |
| PARAM_VALUE | 0 | session->txtimer.base | 4096-ptr_max |
| PARAM_VALUE | 0 | session->txtimer.function | 1-u64max |
| PARAM_VALUE | 0 | session->txtimer.is_hard | 0 |
| PARAM_VALUE | 0 | session->txtimer.is_lazy | 0 |
| PARAM_VALUE | 0 | session->txtimer.is_queued | 0 |
| PARAM_VALUE | 0 | session->txtimer.is_rel | 0 |
| PARAM_VALUE | 0 | session->txtimer.is_soft | 0 |
| PARAM_VALUE | 0 | session->txtimer.node.expires | 0 |
| PARAM_VALUE | 0 | session->txtimer.node.node.next | 0 |
| PARAM_VALUE | 0 | session->txtimer.node.node.node.rb_left | 0 |
| PARAM_VALUE | 0 | session->txtimer.node.node.prev | 0 |
| PARAM_VALUE | 0 | *session->priv->ndev->name | 0 |
| BUF_SIZE | 0 | session | 424 |
| BUF_SIZE | 0 | session->priv | 560 |
| CAPPED_DATA | 0 | session->pkt.block | 1 |
| CAPPED_DATA | 0 | session->total_message_size | 1 |
| DATA_SOURCE | 0 | session | r j1939_session_fresh_new |
| FUZZY_MAX | 0 | session->pkt.block | 255 |
| FUZZY_MAX | 0 | session->pkt.total | 16777215 |
| FUZZY_MAX | 0 | session->total_message_size | 1786 |
| NOSPEC | 0 | session->pkt.block | |
| NOSPEC | 0 | session->total_message_size | |
| HARD_MAX | 0 | session->total_message_size | 117440505 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | session->pkt.block | 0-255[c] |
| USER_DATA | 0 | session->pkt.total | 0-16777215 |
| USER_DATA | 0 | session->total_message_size | 9-117440505[c] |
| LOCK2 | rcu_read |
net/can/j1939/socket.c j1939_sk_queue_activate_next_locked() -> j1939_session_activate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | session | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &jsk->sk_session_queue_lock | ||
| LOCK2 | bh | ||
| TYPE_LOCK | (struct j1939_sock)->sk_session_queue_lock |
net/can/j1939/socket.c j1939_sk_send_loop() -> j1939_session_activate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | session | 4096-ptr_max |
| PARAM_VALUE | 0 | session->active_session_list_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->active_session_list_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->active_session_list_entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->active_session_list_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->active_session_list_entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->pkt.block | 0-255 |
| PARAM_VALUE | 0 | session->pkt.total | 0-613566757 |
| PARAM_VALUE | 0 | session->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | session->priv->ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->rxtimer._softexpires | 0 |
| PARAM_VALUE | 0 | session->rxtimer.base | 4096-ptr_max |
| PARAM_VALUE | 0 | session->rxtimer.function | 1-u64max |
| PARAM_VALUE | 0 | session->rxtimer.is_hard | 0 |
| PARAM_VALUE | 0 | session->rxtimer.is_lazy | 0 |
| PARAM_VALUE | 0 | session->rxtimer.is_queued | 0 |
| PARAM_VALUE | 0 | session->rxtimer.is_rel | 0 |
| PARAM_VALUE | 0 | session->rxtimer.is_soft | 0 |
| PARAM_VALUE | 0 | session->rxtimer.node.expires | 0 |
| PARAM_VALUE | 0 | session->rxtimer.node.node.next | 0 |
| PARAM_VALUE | 0 | session->rxtimer.node.node.node.rb_left | 0 |
| PARAM_VALUE | 0 | session->rxtimer.node.node.prev | 0 |
| PARAM_VALUE | 0 | session->sk | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk_session_queue_entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk_session_queue_entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk_session_queue_entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->sk_session_queue_entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->skb_queue.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | session->skb_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->skb_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | session->skb_queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | session->state | 0 |
| PARAM_VALUE | 0 | session->transmission | 1 |
| PARAM_VALUE | 0 | session->txtimer._softexpires | 0 |
| PARAM_VALUE | 0 | session->txtimer.base | 4096-ptr_max |
| PARAM_VALUE | 0 | session->txtimer.function | 1-u64max |
| PARAM_VALUE | 0 | session->txtimer.is_hard | 0 |
| PARAM_VALUE | 0 | session->txtimer.is_lazy | 0 |
| PARAM_VALUE | 0 | session->txtimer.is_queued | 0 |
| PARAM_VALUE | 0 | session->txtimer.is_rel | 0 |
| PARAM_VALUE | 0 | session->txtimer.is_soft | 0 |
| PARAM_VALUE | 0 | session->txtimer.node.expires | 0 |
| PARAM_VALUE | 0 | session->txtimer.node.node.next | 0 |
| PARAM_VALUE | 0 | session->txtimer.node.node.node.rb_left | 0 |
| PARAM_VALUE | 0 | session->txtimer.node.node.prev | 0 |
| BUF_SIZE | 0 | session | 424 |
| CAPPED_DATA | 0 | session->pkt.block | 1 |
| CAPPED_DATA | 0 | session->pkt.total | 1 |
| CAPPED_DATA | 0 | session->total_message_size | 1 |
| DATA_SOURCE | 0 | session | r j1939_tp_send |
| NOSPEC | 0 | session->pkt.block | |
| NOSPEC | 0 | session->pkt.total | |
| NOSPEC | 0 | session->total_message_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | session->pkt.block | 0-255[c] |
| USER_DATA | 0 | session->pkt.last | 0-306783379[c] |
| USER_DATA | 0 | session->pkt.total | 0-306783379[c] |
| USER_DATA | 0 | session->total_message_size | 0-s32max[c] |
| LOCK2 | sock->sk | ||
| HALF_LOCKED2 | &vq->mutex |