Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mthca/mthca_provider.c mthca_create_srq() -> mthca_alloc_srq()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 pd 4096-ptr_max
PARAM_VALUE 2 attr 1156783203728863248,2114509107582083088,2179161002446114832,3415840050636136464,6365966776295284752,8823925906084560912
PARAM_VALUE 3 srq 4096-ptr_max
PARAM_VALUE 4 udata 0,4096-ptr_max
PARAM_VALUE 4 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 4 udata->outlen 0-524280,18446744073709551361-u64max
CAPPED_DATA 4 udata->inlen 1
DATA_SOURCE 3 srq r to_msrq
DATA_SOURCE 4 udata $2
NOSPEC 4 udata->inlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 attr->max_sge 0-u32max
USER_DATA 2 attr->max_wr 0-u32max
USER_DATA 2 attr->srq_limit 0-u32max
USER_DATA 3 srq->db_index s32min-s32max
USER_DATA 3 srq->mr.ibmr.lkey 0-u32max
USER_DATA 4 udata->inlen 0-524280,18446744073709551361-u64max[c]
USER_DATA 4 udata->outlen 0-524280,18446744073709551361-u64max
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex