Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/message/fusion/mptlan.c mpt_lan_ioc_reset() -> mpt_lan_post_receive_buckets()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->mpt_rxfidx 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ioc->internal_cmds.mutex
HALF_LOCKED2 &ioc->ioctl_cmds.mutex
HALF_LOCKED2 &ioc->mptbase_cmds.mutex
HALF_LOCKED2 &ioc->raid_data.inactive_list_mutex
HALF_LOCKED2 &ioc->sas_device_info_mutex
HALF_LOCKED2 &ioc->sas_mgmt.mutex
HALF_LOCKED2 &ioc->sas_topology_mutex
HALF_LOCKED2 &ioc->taskmgmt_cmds.mutex

drivers/message/fusion/mptlan.c mpt_lan_open() -> mpt_lan_post_receive_buckets()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->RcvCtl 16,4096-ptr_max
PARAM_VALUE 0 priv->SendCtl 16,4096-ptr_max
PARAM_VALUE 0 priv->mpt_dev 4096-ptr_max
PARAM_VALUE 0 priv->mpt_dev->FreeQlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->mpt_dev->active s32min-s32max
PARAM_VALUE 0 priv->mpt_rxfidx 16,4096-ptr_max
PARAM_VALUE 0 priv->mpt_rxfidx_tail (-1)-s32max
PARAM_VALUE 0 priv->mpt_txfidx 16,4096-ptr_max
PARAM_VALUE 0 priv->mpt_txfidx_tail (-1)-s32max
BUF_SIZE 0 priv->RcvCtl 0-u64max
BUF_SIZE 0 priv->SendCtl 0-u64max
BUF_SIZE 0 priv->mpt_rxfidx 0-u64max
BUF_SIZE 0 priv->mpt_txfidx 0-u64max
CAPPED_DATA 0 priv->max_buckets_out 1
CAPPED_DATA 0 priv->tx_max_out 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 priv->max_buckets_out
NO_OVERFLOW_SIMPLE 0 priv->tx_max_out
HALF_LOCKED2 global &rtnl_mutex

drivers/message/fusion/mptlan.c mpt_lan_post_receive_buckets_work() -> mpt_lan_post_receive_buckets()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock