Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/qedr/verbs.c qedr_init_user_queue() -> qedr_init_user_db_rec()

Type Parameter Key Value
PARAM_VALUE 0 udata 0,4096-ptr_max
PARAM_VALUE 0 udata->inlen 0-64
PARAM_VALUE 0 udata->outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->gsi_qp_created 1
PARAM_VALUE 1 dev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 2 q 4096-ptr_max
PARAM_VALUE 2 q->pbl_info.num_pbls 1
PARAM_VALUE 2 q->pbl_info.pbl_size 4096-u32max
PARAM_VALUE 2 q->pbl_info.two_layered 0
PARAM_VALUE 2 q->pbl_tbl 4096-ptr_max
PARAM_VALUE 2 q->umem 4096-ptr_max
BUF_SIZE 0 udata (-1)-0,32
BUF_SIZE 0 udata (-1)-0,32
BUF_SIZE 2 q->pbl_tbl 32,160-262272
BUF_SIZE 2 q->umem 88
CAPPED_DATA 0 udata->inlen 1
CAPPED_DATA 2 q->buf_len 1
CAPPED_DATA 2 q->pbl_info.pbl_size 1
CAPPED_DATA 2 q->umem 1
DATA_SOURCE 0 udata $0
DATA_SOURCE 1 dev $1
DATA_SOURCE 2 q $2
DATA_SOURCE 3 requires_db_rec $5
NOSPEC 0 udata->inlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 udata->inlen 0-64[c]
USER_DATA 0 udata->outlen 0-524280,18446744073709551361-u64max
USER_DATA 2 q->buf_addr 0-u64max
USER_DATA 2 q->buf_len 0-u64max[c]
USER_DATA 2 q->pbl_info.num_pbes 0-u32max[c]
USER_DATA 2 q->umem->address 0-s32max[c]
USER_DATA 2 q->umem->iova 0-s32max[c]
USER_DATA 2 q->umem->length 0-u64max
USER_DATA 2 q->umem->sgt_append.prv->length 0-u32max[c]
USER_DATA 2 q->umem->sgt_append.prv->offset 0-4095[c]
USER_DATA 2 q->umem->writable 0-1[c]
NO_OVERFLOW_SIMPLE 2 q->pbl_info.num_pbes