Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_main.c erdma_ib_device_add() -> erdma_device_config()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->attrs.max_cq 0,2-4294967294
PARAM_VALUE 0 dev->attrs.max_ird 128
PARAM_VALUE 0 dev->attrs.max_mr 0,2-4294967294
PARAM_VALUE 0 dev->attrs.max_ord 128
PARAM_VALUE 0 dev->attrs.max_pd 131072
PARAM_VALUE 0 dev->attrs.max_recv_sge 1
PARAM_VALUE 0 dev->attrs.max_send_sge 6
PARAM_VALUE 0 dev->attrs.max_send_wr 8192
PARAM_VALUE 0 dev->attrs.max_sge_rd 1
PARAM_VALUE 0 dev->cmdq->sq.dbrec 0-u16max
PARAM_VALUE 0 dev->cmdq.credits.first_waiter->up 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
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
HALF_LOCKED2 &pdev->dev.mutex