Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/srq_cmd.c mlx5_cmd_create_srq() -> create_srq_split()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->devr.c0 1-u64max
PARAM_VALUE 0 dev->devr.xrcdn0 0-16777215
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->caps.hca 4096-ptr_max
PARAM_VALUE 0 dev->mdev->priv.alloc_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->priv.alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->mdev->priv.alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->mdev->priv.alloc_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->mdev->priv.alloc_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->mdev->priv.alloc_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->mdev->priv.alloc_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->mdev->priv.alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->mdev->priv.pgdir_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->priv.pgdir_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->mdev->priv.pgdir_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->mdev->priv.pgdir_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->priv.pgdir_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->mdev->priv.pgdir_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->mdev->priv.pgdir_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 dev->mdev->priv.pgdir_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 srq 4096-ptr_max
PARAM_VALUE 1 srq->common.res 3-5
PARAM_VALUE 1 srq->max_gs 0-4095
PARAM_VALUE 1 srq->wqe_shift 0-31
PARAM_VALUE 2 in 6414845433791070208
PARAM_VALUE 2 in->flags 0,2,4,6
PARAM_VALUE 2 in->log_page_size 0
PARAM_VALUE 2 in->log_size 0-31,u32max
PARAM_VALUE 2 in->lwm 0
PARAM_VALUE 2 in->page_offset 0
PARAM_VALUE 2 in->pas 0,16,4096-ptr_max
PARAM_VALUE 2 in->srqn 0
PARAM_VALUE 2 in->tm_log_list_size 0-31
PARAM_VALUE 2 in->type 0-2
PARAM_VALUE 2 in->umem 0,4096-ptr_max
PARAM_VALUE 2 in->user_index 0-16777215
PARAM_VALUE 2 in->wqe_cnt 0
PARAM_VALUE 2 in->wqe_shift 0-27,4294967292-u32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 srq $1
DATA_SOURCE 2 in $2
FUZZY_MAX 1 srq->common.res 5
NOSPEC 1 srq->max_gs
HARD_MAX 1 srq->common.res 5
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 srq->max_gs 0-4095[c]
USER_DATA 2 in->tm_log_list_size 0-31[c]
USER_DATA 2 in->type 0
USER_DATA 2 in->user_index 0-16777214
NO_OVERFLOW_SIMPLE 1 srq->max
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex