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_receive_post_reply() -> mpt_lan_wake_post_buckets_task()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->priv->RcvCtl | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->bucketthresh | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | dev->priv->mpt_dev->FreeQlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv->mpt_dev->pcidev->dev.dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv->mpt_rxfidx | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->mpt_rxfidx_tail | s32min-255 |
| PARAM_VALUE | 0 | dev->priv->rxfidx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | priority | 0 |
| DATA_SOURCE | 0 | dev | $0 |
| HARD_MAX | 0 | dev->priv->mpt_rxfidx_tail | 255 |
| NOCHECK_CALL |
drivers/message/fusion/mptlan.c mpt_lan_receive_skb() -> mpt_lan_wake_post_buckets_task()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv->buckets_out.counter | s32min-2147483646 |
| PARAM_VALUE | 0 | dev->priv->bucketthresh | (-2147483647)-s32max |
| PARAM_VALUE | 0 | dev->priv->mpt_dev->pcidev->dev.dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv->rxfidx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | priority | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| NOCHECK_CALL |