Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ntb/msi.c ntb_msi_clear_mws() -> ntb_peer_highest_mw_idx()

Type Parameter Key Value
PARAM_VALUE 0 ntb 4096-ptr_max
PARAM_VALUE 0 ntb->ops 4096-ptr_max
PARAM_VALUE 0 ntb->ops->db_set_mask 4096-ptr_max
PARAM_VALUE 0 ntb->ops->db_valid_mask 4096-ptr_max
PARAM_VALUE 0 ntb->ops->link_disable 4096-ptr_max
PARAM_VALUE 0 ntb->ops->mw_clear_trans 0,889376605413658624,5728823901377802240
PARAM_VALUE 0 ntb->ops->peer_port_count 0,3302194409103257600
PARAM_VALUE 0 ntb->ops->port_number 0,4096-ptr_max
PARAM_VALUE 1 pidx 0-254
CAPPED_DATA 1 pidx 1
DATA_SOURCE 0 ntb $0
CONSTRAINT 1 pidx <1889
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/ntb/msi.c ntb_msi_setup_mws() -> ntb_peer_highest_mw_idx()

Type Parameter Key Value
PARAM_VALUE 0 ntb 4096-ptr_max
PARAM_VALUE 0 ntb->msi 1-u64max
PARAM_VALUE 0 ntb->ops 4096-ptr_max
PARAM_VALUE 0 ntb->ops->link_is_up 0,4096-ptr_max
PARAM_VALUE 0 ntb->ops->peer_port_count 0,3302194409103257600
PARAM_VALUE 0 ntb->ops->port_number 0,4096-ptr_max
PARAM_VALUE 0 ntb->ops->spad_read 0,4096-ptr_max
PARAM_VALUE 0 ntb->pdev 4096-ptr_max
PARAM_VALUE 0 ntb->pdev->dev.msi.data 0,4096-ptr_max
PARAM_VALUE 0 ntb->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 1 pidx 0-s32max
CAPPED_DATA 1 pidx 1
DATA_SOURCE 0 ntb $0
CONSTRAINT 1 pidx <1889
LOCK2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

drivers/ntb/msi.c ntb_msi_setup_mws() -> ntb_peer_highest_mw_idx()

Type Parameter Key Value
PARAM_VALUE 0 ntb 4096-ptr_max
PARAM_VALUE 0 ntb->msi 1-u64max
PARAM_VALUE 0 ntb->ops 4096-ptr_max
PARAM_VALUE 0 ntb->ops->link_is_up 0,4096-ptr_max
PARAM_VALUE 0 ntb->ops->mw_set_trans 0,842518136555724800,3085076618938568704,3660088755932938240,5572014855872364544,6157707328061571072,6317455383581306880,9128674569704988672
PARAM_VALUE 0 ntb->ops->peer_port_count 0,3302194409103257600
PARAM_VALUE 0 ntb->ops->port_number 0,4096-ptr_max
PARAM_VALUE 0 ntb->ops->spad_read 0,4096-ptr_max
PARAM_VALUE 0 ntb->pdev 4096-ptr_max
PARAM_VALUE 0 ntb->pdev->dev.msi.data 0,4096-ptr_max
PARAM_VALUE 0 ntb->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 1 pidx 0-s32max
CAPPED_DATA 1 pidx 1
DATA_SOURCE 0 ntb $0
CONSTRAINT 1 pidx <1889
LOCK2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

drivers/ntb/msi.c ntb_msi_setup_mws() -> ntb_peer_highest_mw_idx()

Type Parameter Key Value
PARAM_VALUE 0 ntb 4096-ptr_max
PARAM_VALUE 0 ntb->msi 1-u64max
PARAM_VALUE 0 ntb->ops 4096-ptr_max
PARAM_VALUE 0 ntb->ops->link_is_up 0,4096-ptr_max
PARAM_VALUE 0 ntb->ops->mw_clear_trans 0,889376605413658624,5728823901377802240
PARAM_VALUE 0 ntb->ops->mw_set_trans 0,842518136555724800,3085076618938568704,3660088755932938240,5572014855872364544,6157707328061571072,6317455383581306880,9128674569704988672
PARAM_VALUE 0 ntb->ops->peer_port_count 0,3302194409103257600
PARAM_VALUE 0 ntb->ops->port_number 0,4096-ptr_max
PARAM_VALUE 0 ntb->ops->spad_read 0,4096-ptr_max
PARAM_VALUE 0 ntb->pdev 4096-ptr_max
PARAM_VALUE 0 ntb->pdev->dev.msi.data 0,4096-ptr_max
PARAM_VALUE 0 ntb->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 1 pidx 1-s32max
CAPPED_DATA 1 pidx 1
DATA_SOURCE 0 ntb $0
CONSTRAINT 1 pidx <1889
LOCK2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock