Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ntb/ntb_transport.c ntb_transport_link_work() -> ntb_set_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
PARAM_COMPARE 1 num_mw < $0->mw_count
HOST_DATA 2 size 0-u64max
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock