Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/janz-ican3.c ican3_napi() -> ican3_txok()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mod->ndev 4096-ptr_max
PARAM_VALUE 0 mod->ndev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 mod->ndev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 mod->ndev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 *mod->ndev->name 0
CAPPED_DATA 0 mod->ndev->num_tx_queues 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &mod->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct ican3_dev)->lock

drivers/net/can/janz-ican3.c ican3_xmit() -> ican3_txok()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &mod->lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct ican3_dev)->lock

drivers/net/can/janz-ican3.c ican3_xmit() -> ican3_txok()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &mod->lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct ican3_dev)->lock