Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_verbs.c erdma_create_mtt() -> erdma_destroy_scatter_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->ibdev.dma_device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 mtt 4096-ptr_max
BUF_SIZE 1 mtt (-1),48
BUF_SIZE 1 mtt (-1),48
DATA_SOURCE 0 dev $0
BIT_INFO 0 dev->attrs.cap_flags 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/erdma/erdma_verbs.c erdma_destroy_mtt() -> erdma_destroy_scatter_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 4096-ptr_max
BUF_SIZE 1 mtt (-1),48
BUF_SIZE 1 mtt (-1),48
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 mtt $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL