Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/can/esd/esdacc.c acc_card_interrupt() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->bmfifo.msg_fifo_tail 0-255
PARAM_VALUE 0 core->netdev->priv->can.can_stats.bus_error 0-4294967295
PARAM_VALUE 0 core->netdev->priv->can_stats.bus_off 0-4294967295
PARAM_VALUE 0 core->netdev->priv->can_stats.error_passive 0-4294967295
PARAM_VALUE 0 core->netdev->priv->can_stats.error_warning 0-4294967295
PARAM_VALUE 0 core->netdev->priv->restart_work.cpu s32min-s32max
PARAM_VALUE 0 core->netdev->priv->restart_work.timer.flags 0-4294967295
PARAM_VALUE 0 core->netdev->priv->state 0-3
PARAM_VALUE 0 *core->netdev->name 0-255
PARAM_VALUE 1 offs 112
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/net/can/esd/esdacc.c acc_clear_bits() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->addr 0-ptr_max
PARAM_VALUE 1 offs 0
DATA_SOURCE 0 core $0
DATA_SOURCE 1 offs $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 v 0-u32max[c]

drivers/net/can/esd/esdacc.c acc_close() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->addr 0-ptr_max
PARAM_VALUE 1 offs 84
PARAM_VALUE 2 v u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &netdev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/can/esd/esdacc.c acc_set_bits() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->addr 0-ptr_max
PARAM_VALUE 1 offs 0
DATA_SOURCE 0 core $0
DATA_SOURCE 1 offs $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 v 0-u32max

drivers/net/can/esd/esdacc.c acc_set_bittiming() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 1 offs 12
PARAM_VALUE 2 v 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/net/can/esd/esdacc.c acc_set_bittiming() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->addr 4096-ptr_max
PARAM_VALUE 1 offs 16
PARAM_VALUE 2 v 0-s32max
BIT_INFO 2 v 0x0,0x7f7f00ff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/net/can/esd/esdacc.c acc_set_bittiming() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 1 offs 12
PARAM_VALUE 2 v 0-511
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/net/can/esd/esdacc.c acc_set_bittiming() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->addr 4096-ptr_max
PARAM_VALUE 1 offs 16
PARAM_VALUE 2 v 0-67108863
BIT_INFO 2 v 0x0,0x307000f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/net/can/esd/esdacc.c acc_txq_put() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->addr 4096-ptr_max
PARAM_VALUE 0 core->tx_fifo_head 0-254
PARAM_VALUE 1 offs 196
PARAM_VALUE 2 v 0-271,16777216-16777487
CAPPED_DATA 0 core->tx_fifo_head 1
CAPPED_DATA 0 core->tx_fifo_size 1
DATA_SOURCE 0 core $0
DATA_SOURCE 2 v $2
BIT_INFO 2 v 0x0,0x10000ff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 v 0-271,16777216-16777487[u]
UNITS 2 v unit_byte
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/can/esd/esdacc.c acc_txq_put() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->addr 4096-ptr_max
PARAM_VALUE 0 core->tx_fifo_head 0-254
PARAM_VALUE 1 offs 192
PARAM_VALUE 2 v 0-2046,536870912-1073741823
CAPPED_DATA 0 core->tx_fifo_head 1
CAPPED_DATA 0 core->tx_fifo_size 1
DATA_SOURCE 0 core $0
DATA_SOURCE 2 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 v 0-2046,536870912-1073741823[c]
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/can/esd/esdacc.c handle_core_msg_errstatechange() -> acc_write32()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->bmfifo.messages 4096-ptr_max
PARAM_VALUE 0 core->bmfifo.msg_fifo_tail 0-255
PARAM_VALUE 1 offs 84
PARAM_VALUE 2 v u16max
DATA_SOURCE 0 core $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags