Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_verbs.c erdma_ib_alloc_mr() -> erdma_destroy_mtt()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->attrs.cap_flags 32-u64max
PARAM_VALUE 0 dev->cmdq->sq.dbrec 0-u16max
PARAM_VALUE 0 dev->cmdq.credits.first_waiter->up 0-1
PARAM_VALUE 0 dev->cmdq.credits.last_holder 0
PARAM_VALUE 0 dev->cmdq.credits.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->cmdq.credits.lock.owner (-1)
PARAM_VALUE 0 dev->cmdq.credits.lock.owner_cpu u32max
PARAM_VALUE 1 mtt 4096-ptr_max
BUF_SIZE 1 mtt 48
CAPPED_DATA 1 mtt->buf 1
DATA_SOURCE 0 dev r to_edev
DATA_SOURCE 1 mtt r erdma_create_mtt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cls_conn->ep_mutex
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &srv->paths_mutex
HALF_LOCKED2 global &rx_queue_mutex

drivers/infiniband/hw/erdma/erdma_verbs.c put_mtt_entries() -> erdma_destroy_mtt()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cmdq.credits.first_waiter->up 0-1
PARAM_VALUE 1 mtt 1-u64max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL