Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/srq.c mlx5_ib_create_srq() -> create_srq_user()

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
PARAM_VALUE 0 pd->device 4096-ptr_max
PARAM_VALUE 1 srq 4096-ptr_max
PARAM_VALUE 1 srq->msrq.max_gs 0-4095
PARAM_VALUE 1 srq->msrq.wqe_shift 0-31
PARAM_VALUE 1 srq->mutex.dep_map->name 0-255
PARAM_VALUE 1 srq->mutex.first_waiter 0
PARAM_VALUE 1 srq->mutex.magic 4096-ptr_max
PARAM_VALUE 1 srq->mutex.osq.tail.counter 0
PARAM_VALUE 1 srq->mutex.owner.counter 0
PARAM_VALUE 2 in 6414845433791070208
PARAM_VALUE 2 in->cqn 0
PARAM_VALUE 2 in->flags 0
PARAM_VALUE 2 in->log_size 0
PARAM_VALUE 2 in->lwm 0
PARAM_VALUE 2 in->pas 0
PARAM_VALUE 2 in->pd 0
PARAM_VALUE 2 in->srqn 0
PARAM_VALUE 2 in->type 0-2
PARAM_VALUE 2 in->uid 0
PARAM_VALUE 2 in->umem 0
PARAM_VALUE 2 in->user_index 0
PARAM_VALUE 2 in->wqe_cnt 0
PARAM_VALUE 2 in->xrcd 0
PARAM_VALUE 3 udata 1-u64max
PARAM_VALUE 3 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 3 udata->outlen 0-524280,18446744073709551361-u64max
BUF_SIZE 0 pd (-1),1-s32max
BUF_SIZE 0 pd (-1),1-s32max
CAPPED_DATA 1 srq->msrq.max_avail_gather 1
CAPPED_DATA 1 srq->msrq.max_gs 1
DATA_SOURCE 1 srq r to_msrq
DATA_SOURCE 3 udata $2
STR_LEN 0 pd->device (-1),6-9,11-12
STR_LEN 0 pd->res.kern_name (-1),7,10
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 srq->msrq.max_gs 0-4095[c]
USER_DATA 2 in->type 0
USER_DATA 3 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 3 udata->outlen 0-524280,18446744073709551361-u64max
UNITS 4 buf_size unit_byte
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex