Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/srq.c mlx5_ib_create_srq() -> destroy_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->db.u.user_page 4096-ptr_max
PARAM_VALUE 1 srq->db.u.user_page->desc.type 0-1
PARAM_VALUE 1 srq->head 0-u16max
PARAM_VALUE 1 srq->ibsrq.ext.xrc.srq_num 0-16777215
PARAM_VALUE 1 srq->msrq.event 1031917151001583616
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 1 srq->umem 4096-ptr_max
PARAM_VALUE 1 srq->wq_sig 0-1
PARAM_VALUE 2 udata 4096-ptr_max
PARAM_VALUE 2 udata->inlen 0-64
PARAM_VALUE 2 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
CAPPED_DATA 2 udata->inlen 1
CAPPED_DATA 2 udata->outlen 1
DATA_SOURCE 1 srq r to_msrq
DATA_SOURCE 2 udata $2
STR_LEN 0 pd->device (-1),6-9,11-12
STR_LEN 0 pd->res.kern_name (-1),7,10
NOSPEC 1 srq->msrq.max_gs
NOSPEC 2 udata->inlen
NOSPEC 2 udata->outlen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 srq->db.u.user_page->desc.addr s64min-s64max
USER_DATA 1 srq->db.u.user_page->desc.fd s32min-s32max
USER_DATA 1 srq->db.u.user_page->desc.flags 0-4294967295
USER_DATA 1 srq->db.u.user_page->desc.length s64min-s64max
USER_DATA 1 srq->db.u.user_page->desc.optional_flags 0-4294967295
USER_DATA 1 srq->db.u.user_page->desc.type 0
USER_DATA 1 srq->msrq.max_gs 0-4095[c]
USER_DATA 1 srq->umem->address 0-u64max[c]
USER_DATA 1 srq->umem->iova 0-u64max[c]
USER_DATA 1 srq->umem->length 0,8-u64max
USER_DATA 1 srq->umem->sgt_append.prv->length 0-u32max[c]
USER_DATA 1 srq->umem->sgt_append.prv->offset 0-4095[c]
USER_DATA 1 srq->umem->writable 0-1[c]
USER_DATA 1 srq->wq_sig 0-1
USER_DATA 2 udata->inlen 0-64[c]
USER_DATA 2 udata->outlen 0-524280,18446744073709551361-u64max[c]
NO_OVERFLOW_SIMPLE 1 srq->buf.npages
NO_OVERFLOW_SIMPLE 1 srq->msrq.max
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/hw/mlx5/srq.c mlx5_ib_destroy_srq() -> destroy_srq_user()

Type Parameter Key Value
PARAM_VALUE 1 srq 4096-ptr_max
PARAM_VALUE 1 srq->msrq.common.free.done 0-4294967293,u32max
PARAM_VALUE 1 srq->msrq.common.free.wait.lock.dep_map->name 0-255
PARAM_VALUE 1 srq->msrq.common.free.wait.lock.owner (-1)
PARAM_VALUE 1 srq->msrq.common.free.wait.lock.owner_cpu u32max
PARAM_VALUE 1 srq->msrq.common.free.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 srq->msrq.common.free.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 2 udata 1-u64max
CAPPED_DATA 1 &srq->msrq 1
DATA_SOURCE 1 srq r to_msrq
DATA_SOURCE 2 udata $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL