Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/cq.c mlx5_ib_create_user_cq() -> create_cq_user()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->caps.hca 4096-ptr_max
PARAM_VALUE 1 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 1 udata->outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 cq 4096-ptr_max
PARAM_VALUE 2 cq->list_recv_qp.next 4096-ptr_max
PARAM_VALUE 2 cq->list_recv_qp.next->next 4096-ptr_max
PARAM_VALUE 2 cq->list_recv_qp.prev 4096-ptr_max
PARAM_VALUE 2 cq->list_recv_qp.prev->next 4096-ptr_max
PARAM_VALUE 2 cq->list_recv_qp.prev->prev 4096-ptr_max
PARAM_VALUE 2 cq->list_send_qp.next 4096-ptr_max
PARAM_VALUE 2 cq->list_send_qp.next->next 4096-ptr_max
PARAM_VALUE 2 cq->list_send_qp.prev 4096-ptr_max
PARAM_VALUE 2 cq->list_send_qp.prev->next 4096-ptr_max
PARAM_VALUE 2 cq->list_send_qp.prev->prev 4096-ptr_max
PARAM_VALUE 2 cq->resize_mutex.dep_map->name 0-255
PARAM_VALUE 2 cq->resize_mutex.first_waiter 0
PARAM_VALUE 2 cq->resize_mutex.magic 4096-ptr_max
PARAM_VALUE 2 cq->resize_mutex.osq.tail.counter 0
PARAM_VALUE 2 cq->resize_mutex.owner.counter 0
PARAM_VALUE 4 cqb 1210730106277449728
PARAM_VALUE 4 *cqb 0
PARAM_VALUE 4 *(*cqb) 0
PARAM_VALUE 5 cqe_size 7452184297659961344
PARAM_VALUE 6 index 797769687505936384
PARAM_VALUE 7 inlen 547401157297967104
PARAM_VALUE 8 attrs 4096-ptr_max
PARAM_VALUE 8 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 8 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 8 attrs->ucore.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 8 attrs->ucore.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 8 attrs->ufile 4096-ptr_max
PARAM_VALUE 8 attrs->ufile->device 4096-ptr_max
PARAM_VALUE 8 attrs->ufile->device->num_comp_vectors 1-4294967295
PARAM_VALUE 8 attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 8 attrs->ufile->hw_destroy_rwsem.first_waiter->type 0-1
BUF_SIZE 1 udata 32
BUF_SIZE 8 attrs->ufile s32min-(-1),1-s32max
CAPPED_DATA 2 cq->ibcq.cqe 1
CAPPED_DATA 3 entries 1
CAPPED_DATA 8 attrs->ufile 1
DATA_SOURCE 0 dev r to_mdev
DATA_SOURCE 2 cq r to_mcq
DATA_SOURCE 3 entries r __roundup_pow_of_two
DATA_SOURCE 8 attrs $2
PARAM_COMPARE 8 &attrs->driver_udata == $1
NOSPEC 8 attrs->ucore.inlen
USER_DATA 1 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 1 udata->outlen 0-524280,18446744073709551361-u64max
USER_DATA 8 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
USER_DATA 8 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 8 attrs->ucore.inlen 4-120[c]
USER_DATA 8 attrs->ucore.outlen 0-524280
UNITS 3 entries unit_byte