Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/bxcan.c bxcan_chip_start() -> bxcan_chip_softreset()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/can/bxcan.c bxcan_chip_start() -> bxcan_chip_softreset()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->gcan 4096-ptr_max
PARAM_VALUE 0 priv->gcan->async 0
PARAM_VALUE 0 priv->regs 4096-ptr_max
PARAM_VALUE 0 priv->rmw_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->tx_head 0
PARAM_VALUE 0 priv->tx_tail 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex