Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ntb/ntb_transport.c ntb_set_mw() -> ntb_free_mw()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->mw_count 1-s32max
PARAM_VALUE 0 nt->mw_vec 4096-ptr_max
PARAM_VALUE 0 nt->ndev 4096-ptr_max
PARAM_VALUE 0 nt->ndev->ops 4096-ptr_max
PARAM_VALUE 0 nt->ndev->ops->link_is_up 4096-ptr_max
PARAM_VALUE 0 nt->ndev->ops->peer_spad_write 0,4079965994737197056,4209643071653740544,4854236880108380160,6883140719573549056,8335059707764551680
PARAM_VALUE 0 nt->ndev->ops->spad_read 4096-ptr_max
PARAM_VALUE 0 nt->ndev->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 nt->qp_count 0-s32max
PARAM_VALUE 1 num_mw 0-2147483646
CAPPED_DATA 0 nt->mw_count 1
CAPPED_DATA 0 nt->qp_count 1
CAPPED_DATA 1 num_mw 1
DATA_SOURCE 0 nt $0
DATA_SOURCE 1 num_mw $1
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock

drivers/ntb/ntb_transport.c ntb_set_mw() -> ntb_free_mw()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->mw_count 1-s32max
PARAM_VALUE 0 nt->mw_vec 4096-ptr_max
PARAM_VALUE 0 nt->ndev 4096-ptr_max
PARAM_VALUE 0 nt->ndev->ops 4096-ptr_max
PARAM_VALUE 0 nt->ndev->ops->link_is_up 4096-ptr_max
PARAM_VALUE 0 nt->ndev->ops->mw_set_trans 0,842518136555724800,3085076618938568704,3660088755932938240,5572014855872364544,6157707328061571072,6317455383581306880,9128674569704988672
PARAM_VALUE 0 nt->ndev->ops->peer_spad_write 0,4079965994737197056,4209643071653740544,4854236880108380160,6883140719573549056,8335059707764551680
PARAM_VALUE 0 nt->ndev->ops->spad_read 4096-ptr_max
PARAM_VALUE 0 nt->ndev->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 nt->qp_count 0-s32max
PARAM_VALUE 1 num_mw 0-2147483646
CAPPED_DATA 0 nt->mw_count 1
CAPPED_DATA 0 nt->qp_count 1
CAPPED_DATA 1 num_mw 1
DATA_SOURCE 0 nt $0
DATA_SOURCE 1 num_mw $1
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock

drivers/ntb/ntb_transport.c ntb_transport_free() -> ntb_free_mw()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->link_cleanup.lockdep_map->name 0-255
PARAM_VALUE 0 nt->link_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 nt->ndev 4096-ptr_max
PARAM_VALUE 0 nt->ndev->ops 4096-ptr_max
PARAM_VALUE 0 nt->qp_count 0-s32max
BUF_SIZE 0 nt 216,224-30704
BUF_SIZE 0 nt 216,224-30704
CAPPED_DATA 0 nt->mw_count 1
CAPPED_DATA 0 nt->qp_count 1
CAPPED_DATA 0 &nt->link_cleanup 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/ntb/ntb_transport.c ntb_transport_link_cleanup() -> ntb_free_mw()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->mw_count 1-u32max
BUF_SIZE 0 nt (-1),216,224-30704
BUF_SIZE 0 nt (-1),216,224-30704
CAPPED_DATA 0 nt->qp_count 1
CAPPED_DATA 1 num_mw 1
DATA_SOURCE 0 nt $0
PARAM_COMPARE 1 num_mw < $0->mw_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 _T->lock

drivers/ntb/ntb_transport.c ntb_transport_link_work() -> ntb_free_mw()

Type Parameter Key Value
PARAM_VALUE 0 nt 4096-ptr_max
PARAM_VALUE 0 nt->mw_count 1-s32max
PARAM_VALUE 0 nt->ndev 4096-ptr_max
PARAM_VALUE 0 nt->ndev->ops 4096-ptr_max
PARAM_VALUE 0 nt->ndev->ops->peer_spad_write 0,4079965994737197056,4209643071653740544,4854236880108380160,6883140719573549056,8335059707764551680
PARAM_VALUE 0 nt->ndev->ops->spad_read 4096-ptr_max
PARAM_VALUE 0 nt->ndev->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 nt->qp_count 0-s32max
PARAM_VALUE 1 num_mw 0-2147483646
CAPPED_DATA 0 nt->mw_count 1
CAPPED_DATA 0 nt->qp_count 1
CAPPED_DATA 1 num_mw 1
FUZZY_MAX 0 nt->qp_count 0
PARAM_COMPARE 1 num_mw < $0->mw_count
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock